|
21.
|
System-on-chip methodologies & design languages
by Ashenden, Peter J | Mermet, Jean P | Mermet, Jean P | Seepold, Ralf | Seepold, Ralf. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Kluwer Academic Publishers, 2001Availability: Items available for loan: [Call number: 621.395 ASH] (1).
|
|
22.
|
Verilog hardware description languages
by Thomas, Donald E. Edition: 4th ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Kluwer Academic Publishers, 1998Availability: Items available for loan: [Call number: 621.392 THO] (2).
|
|
23.
|
Complete Verilog Book
by Sagdeo, Vivek. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Kluwer Academic Publishers, 2000Availability: Items available for loan: [Call number: 621.392 SAG] (2).
|
|
24.
|
Formal semantics and proof techniques for optimizing VHDL models
by Umamageswaran, Kothanda | Pandey, Sheetanshu L | Wilsey, Philip A. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Kluwer Academic Publishers, 1999Availability: Items available for loan: [Call number: 621.392 UMA] (1).
|
|
25.
|
Verilog quickstart : a practical guide to simulation and synthesis in verilog
by Lee, James M. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Kluwer Academic Publishers, 1999Availability: Items available for loan: [Call number: 621.392 LEE] (2).
|
|
26.
|
Rapid prototyping of digital systems : a tutorial approach
by Hamblen, James O | Furman, Michael D. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Kluwer Academic Publishers, 2000Availability: Items available for loan: [Call number: 621.395 HAM] (2).
|
|
27.
|
Simulation validation : a confidence assessment methodology
by Knepell, Peter L | Arangno, Deborah C. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Los Alamitos: IEEE Computer Society, 1993Availability: Items available for loan: [Call number: 003.3 KNE] (1).
|
|
28.
|
Computer algorithms : string pattern matching strategies
by Aoe, Jun-ichi. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: California: IEEE Computer Society, 1994Availability: Items available for loan: [Call number: 005.1 AOE] (1).
|
|
29.
|
Writing testbenches : functional verification of HDL models
by Bergeron, Janick. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Kluwer Academic, 2003Availability: Items available for loan: [Call number: 621.3815 BER] (1).
|
|
30.
|
Designer's guide to verilog AMS
by Zinke, Olaf | Kundert, Kenneth S. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Kluwer Academic Publishers, 2004Availability: Items available for loan: [Call number: 621.392 KUN] (1).
|
|
31.
|
VeriIog HDL : digital design and modeling
by Cavanagh, Joseph. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boca Raton: CRC Press/Taylor & Francis, 2007Availability: Items available for loan: [Call number: 621.392 CAV] (1).
|
|
32.
|
Optimizing compilers for modern architecture
by Allen, Randy | Kennedy, Ken. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Morgan Kaufmann, 2001Availability: Items available for loan: [Call number: 004.22 ALL] (1).
|
|
33.
|
Tools for Teaching Computer Networking and Hardware Concepts
by Sarkar, Nurul. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Hershey: Information Science Pub., 2006Availability: Items available for loan: [Call number: 004.607122 SAR] (1).
|
|
34.
|
Designing Embedded Internet Devices
by Eisenreich, Dan | DeMuth, Brian. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Amsterdam: Newnes, 2003Availability: Items available for loan: [Call number: 004.65 EIS] (2).
|
|
35.
|
Security in Pervasive Computing : First International Conference, Boppard, Germany, March 12-14, 2003 : Revised Papers
by Hutter, Dieter | Muller, Gunter | Stephan, Werner | Ullmann, Markus. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 004 HUT] (1).
|
|
36.
|
Cryptographic Hardware and Embedded Systems - CHES 2003: 5th International Workshop Cologne, Germany, September 8-10, 2003: Proceedings
by Wlater, Colin D | Koc, Cetin Kaya | Paar, Christof. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 WLA] (1).
|
|
37.
|
Introduction to Formal Hardware Verification
by Kropf, Thomas. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1999Availability: Items available for loan: [Call number: 621.392 KRO] (1).
|
|
38.
|
Digital Electronics
by Gothmann, William H. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Prentice Hall of India, 2002Availability: Items available for loan: [Call number: 621.381 GOT] (1).
|
|
39.
|
Design of The Unix Operating System
by Bach, Maurice. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Prentice Hall of India, 2001Availability: Items available for loan: [Call number: 005.432 BAC] (3).
|
|
40.
|
Computer networks
by Tanenbaum, Andrew S. Edition: 3rd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Prentice Hall of India, 2002Availability: Items available for loan: [Call number: 004.6 TAN] (6).
|