|
|
|
|
B 7.2 C578 1987 : European Conference on Circuit Theory and Design; Information Sci. Lib.; 
|
|
|
|
Circuit theory and design 87 : proceedings of the European conference on circuit theory and design-ECCTD 87, Paris, France, 1-4 September, 1987 / edited by R. Gerber
European Conference on Circuit Theory and Design;
LIB USE ONLY
|
|
c1987
|
|
|
B 7.2 D578 1989 : Dill, David L; Information Sci. Lib.;
|
|
|
|
Trace theory for automatic hierarchical verification of speed-independent circuits / David L. Dill
Dill, David L;
AVAILABLE
|
|
c1989
|
|
|
B 7.2 E91 1984 : Eustace, Robert Alan; Information Sci. Lib.;
|
|
|
|
Intra region routing / Robert Alan Eustace
Eustace, Robert Alan;
AVAILABLE
|
|
c1984
|
|
|
B 7.2 F756 1984 : Foster, Michael John; Information Sci. Lib.;
|
|
|
|
Specialized silicon compilers for language recognition / Michael John Foster
Foster, Michael John;
AVAILABLE
|
|
c1984
|
|
|
B 7.2 F931 1986 : IFIP WG 10.2 Working Conference on from HDL Descriptions to Guaranteed Correct Circuit Design; Information Sci. Lib.;
|
|
|
|
From HDL descriptions to guaranteed correct circuit designs : proceedings of the IFIP WG 10.2 Working Conference on from HDL Descriptions to Guaranteed Correct Circuit Designs, Grenoble, France, 9-11 September, 1986 / edited by Dominique Borrione a
IFIP WG 10.2 Working Conference on from HDL Descriptions to Guaranteed Correct Circuit Design;
LIB USE ONLY
|
|
1987
|
|
|
B 7.2 H233 1984 : Han, Sangyong; Information Sci. Lib.;
|
|
|
|
PWB layout problem : Layering and routing / Sangyong Han
Han, Sangyong;
AVAILABLE
|
|
c1984
|
|
|
B 7.2 H267 1989 : Cornell University.;
Information Sci. Lib., Mathematics Library
;
|
|
|
|
Hardware specification, verification, and synthesis : Mathematical aspects : proceedings / M. Leeser, G. Brown, eds. ; Mathematical Sciences Institute workshop, Cornell University, Ithaca, New York, USA, July 5-7, 1989 proceedings.
Cornell University.;
LIB USE ONLY, AVAILABLE
|
|
1990
|
|
|
B 7.2 H551 1988 : Heng, Fook-Luen; Information Sci. Lib.;
|
|
|
|
Two-dimensional compaction : computing the shape function of a slicing layout / Fook-Luen Heng
Heng, Fook-Luen;
AVAILABLE
|
|
c1988
|
|
|
B 7.2 H713 1985 : Hofmann, Mark Eric; Information Sci. Lib.;
|
|
|
|
Automated synthesis of multi-level combinatorial logic in cmos technology / Mark Eric Hofmann
Hofmann, Mark Eric;
AVAILABLE
|
|
c1985
|
|
|
B 7.2 H769 1983 : Hon, Robert William; Information Sci. Lib.;
|
|
|
|
The hierarchical analysis of vlsi designs / Robert William Hon
Hon, Robert William;
AVAILABLE
|
|
c1983
|
|
|
B 7.2 H9433 : Hunt, Warren A.,;
Mathematics Library, Information Sci. Lib.
;
|
|
|
|
FM8501, a verified microprocessor / Warren A. Hunt, Jr
Hunt, Warren A.,;
AVAILABLE
|
|
c1994
|
|
|
B 7.2 H969 1980 : Hsueh, Min-Yu; Information Sci. Lib.;
|
|
|
|
Symbolic layout and compaction of integrated circuits / Min-Yu Hsueh
Hsueh, Min-Yu;
AVAILABLE
|
|
1980
|
|
|
B 7.2 H991 1984 : Hwang, Pei-Ching; Information Sci. Lib.;
|
|
|
|
MDSS : a design automation system including a hardware language, a microcode generator and a functional simulator / Pei-Ching Hwang
Hwang, Pei-Ching;
AVAILABLE
|
|
c1984
|
|
|
B 7.2 J69 1983 : Johnson, Steven D.; Information Sci. Lib.;
|
|
|
|
Synthesis of digital designs from recursion equations / Steven D. Johnson
Johnson, Steven D.;
AVAILABLE
|
|
c1984
|
|
|
B 7.2 K16 1984 : Kane, Rajiv Dattatrays; Information Sci. Lib.;
|
|
|
|
Systolic algorithms for design rule checks / Rajiv Dattatraya Kane
Kane, Rajiv Dattatrays;
AVAILABLE
|
|
c1984
|
|
|
B 7.2 K29 1984 : Keller, Kenneth Howard; Information Sci. Lib.;
|
|
|
|
An electronic circuit cad framework / Kenneth Howard Keller
Keller, Kenneth Howard;
AVAILABLE
|
|
c1984
|
|
|
B 7.2 L477 1985 : Lee, Sing-Ling; Information Sci. Lib.;
|
|
|
|
Algorithms for wire routing around a rectangle / Sing-Ling Lee
Lee, Sing-Ling;
AVAILABLE
|
|
c1985
|
|
|
B 7.2 L5835 1986 : Leong, Hon Wai; Information Sci. Lib.;
|
|
|
|
Routing problems in the physical design of integrated circuits / Hon Wai Leong
Leong, Hon Wai;
AVAILABLE
|
|
c1986
|
|
|
B 7.2 M122 : McCalla, William J.; Information Sci. Lib.;
|
|
|
|
Fundamentals of comptuer-aided circuit simulation / William J. McCalla
McCalla, William J.;
AVAILABLE
|
|
1988
|
|
|
B 7.2 M4447 1983 : Matty, David Gus; Information Sci. Lib.;
|
|
|
|
Constraint driven synthesis of hardware design / David Gus Matty
Matty, David Gus;
AVAILABLE
|
|
c1983
|
|
|
B 7.2 M6263 : Information Sci. Lib.;
|
|
|
|
Microprocessor design for GaAs technology / Veljko M. Milutinović, editor
AVAILABLE
|
|
c1990
|
|
|
B 7.2 N153 1986 : Nahar, Suendra; Information Sci. Lib.;
|
|
|
|
Algorithms for vlsi cad / Surendra Nahar
Nahar, Suendra;
AVAILABLE
|
|
c1986
|
|
|
B 7.2 P578 : Information Sci. Lib.;
|
|
|
|
Physical design automation of VLSI systems / edited by Bryan T. Preas and Michael J. Lorenzetti ; Bryan D. Ackland ... [et al.]
AVAILABLE
|
|
c1988
|
|
|
B 7.2 P578 2001 : Interonational Symposium on Physical Design; Information Sci. Lib.;
|
|
|
|
2001 International Symposium on Physical Design : Sonoma, California, USA, April 1-4, 2001 / sponsored by ACM/SIGDA in cooperation with IEEE
Interonational Symposium on Physical Design;
LIB USE ONLY
|
|
c2001
|
|
|
B 7.2 P578 2002 : Interonational Symposium on Physical Design; Information Sci. Lib.;
|
|
|
|
Proceedings of ISPD'02 : 2002 international symposium on physical design, Hilton San Diego Del Mar, Del Mar, California, USA, April 7-10, 2002 / sponsored by ACM/SIGDA in cooperation with IEEE
Interonational Symposium on Physical Design;
LIB USE ONLY
|
|
c2002
|
|
|
B 7.2 P578 2003 : Interonational Symposium on Physical Design; Information Sci. Lib.;
|
|
|
|
2003 International Symposium on Physical Design : Doubletree Hotel, Monterey, California, USA, April 6-9, 2003 / sponsored by ACM/SIGDA in cooperation with IEEE
Interonational Symposium on Physical Design;
LIB USE ONLY
|
|
c2003
|
|
|
B 7.2 P578 2004 : International Symposium on Physical Design; Information Sci. Lib.;
|
|
|
|
2004 international symposium on physical design : Hyatt Regency, Phoenix, Arizona, USA, April 18-21, 2004 / sponsored by ACM/SIGDA in cooperation with IEEE
International Symposium on Physical Design;
LIB USE ONLY
|
|
c2004
|
|
|
B 7.2 P578 2005 : International Symposium on Physical Design; Information Sci. Lib.;
|
|
|
|
2005 international symposium on physical design : Marines; Memorial Club & Hotel, San Francisco, California, USA, April 3-6, 2005 / sponsored by ACM/SIGDA in cooperation with IEEE
International Symposium on Physical Design;
LIB USE ONLY
|
|
c2005
|
|
|
B 7.2 P578 2006 : International Symposium on Physical Design; Information Sci. Lib.;
|
|
|
|
2006 international symposium on physical design : Hayes Conference Center, San Jose, California, USA, April 9-12, 2006 / sponsored by ACM/SIGDA and IEEE/CAS
International Symposium on Physical Design;
LIB USE ONLY
|
|
c2006
|
|
|
B 7.2 P578 2007 : International Symposium on Physical Design; Information Sci. Lib.;
|
|
|
|
2007 international symposium on physical design : Dolce Lakeway Resort and Spa, Austin, Texas, USA, March 18-21, 2007 / sponsored by ACM/SIGDA and IEEE/CAS
International Symposium on Physical Design;
LIB USE ONLY
|
|
c2006
|
|
|
B 7.2 R1423 1981 : Raghavan, Raghunath; Information Sci. Lib.;
|
|
|
|
The wire routing problem : algorithms and complexity results / Raghunath Raghavan
Raghavan, Raghunath;
AVAILABLE
|
|
c1981
|
|
|
B 7.2 R972 1984 : Rutenbar, Robin Arthur; Information Sci. Lib.;
|
|
|
|
A class of cellular computer architectures to support physical design automation / Robin Arthur Rutenbar
Rutenbar, Robin Arthur;
AVAILABLE
|
|
c1984
|
|
|
B 7.2 S158
|
|
|
|
VLSI physical design automation : theory and practice / Sadiq M Sait, Habib Youssef
Sait, Sadiq M.;
AVAILABLE
|
|
c1999
|
|
VLSI physical design automation : theory and practice / Sadiq M Sait, Habib Youssef
Sait, Sadiq M.;
AVAILABLE
|
|
c1999
|
|
|
B 7.2 S431 1985 : Scott, Walter Stewart; Information Sci. Lib.;
|
|
|
|
Compaction and circuit extraction in the magic in layout system / Walter Stewart Scott
Scott, Walter Stewart;
AVAILABLE
|
|
c1985
|
|
|
B 7.2 T831 : Trimberger, Stephen,; Information Sci. Lib.;
|
|
|
|
An introduction to CAD for VLSI / by Stephen M. Trimberger
Trimberger, Stephen,;
AVAILABLE
|
|
c1987
|
|
|
B 7.2 V393 1984 : Vazirani, Vijay V; Information Sci. Lib.;
|
|
|
|
Maximum matchings without blossoms / Vijay V. Vazirani
Vazirani, Vijay V;
AVAILABLE
|
|
c1984
|
|
|
B 7.2 V8715 : Information Sci. Lib.;
|
|
|
|
VLSI specification, verification, and synthesis / edited by Graham Birtwistle and P. A. Subrahmanyam
AVAILABLE
|
|
c1988
|
|
|
B 7.2 W246 1986 : Wang, Jia-Shung; Information Sci. Lib.;
|
|
|
|
An efficient algorithm to yield an optimal solution for the channel routing problem in vlsi / Jia-Shung Wang
Wang, Jia-Shung;
AVAILABLE
|
|
1986
|
|
|
B 7.2 Z945 : Zukowski, Charles A; Information Sci. Lib.;
|
|
|
|
The bounding approach to VLSI circuit simulation / by Charles A. Zukowski
Zukowski, Charles A;
AVAILABLE
|
|
c1986
|
|
|
B 7.3 A277 : Information Sci. Lib.;
|
|
|
|
Tutorial test generation for VLSI chips / [edited by] Vishwani D. Agrawal and Sharad C. Seth
AVAILABLE
|
|
c1988
|
|
|
B 7.3 L193 : Lala, Parag K.,; Information Sci. Lib.;
|
|
|
|
Fault tolerant and fault testable hardware design / Parag K. Lala
Lala, Parag K.,;
AVAILABLE
|
|
c1985
|
|
|
B 7.3 M544 : Meng, Teresa H.; Information Sci. Lib.;
|
|
|
|
Synchronization design for digital systems / by Teresa H. Meng ; with contributions by David Messerschmitt, Steven Nowick, David Dill
Meng, Teresa H.;
AVAILABLE
|
|
c1991
|
|
|
B 7.3 P2413 : Parker, Kenneth P; Information Sci. Lib.;
|
|
|
|
The Boundary-Scan handbook / by Kenneth P. Parker
Parker, Kenneth P;
AVAILABLE
|
|
c1992
|
|
|
B 7.3 R236 1974 : Symposium on Rational Fault Analysis; Information Sci. Lib.;
|
|
|
|
Rational fault analysis / edited by Richard Saeks, Stanley R. Liberty
Symposium on Rational Fault Analysis;
LIB USE ONLY
|
|
c1977
|
|
|
B 7.3 R288 :
Statistics Sci. Lib., Information Sci. Lib.
;
|
|
|
|
Reliability & maintainability of electronic systems / edited by J. E. Arsenault & J. A. Roberts
AVAILABLE
|
|
c1980
|
|
|
B 7.3 S4713 1977 : Semiconductor Test Symposium,; Information Sci. Lib.;
|
|
|
|
Memory & LSI : digest of papers / 1977 Semiconductor Test Symposium, October 25-27, 1977, held at Cherry Hill, New Jersey ; sponsored by IEEE Computer Society and the Philadelphia Section of the IEEE
Semiconductor Test Symposium,;
LIB USE ONLY
|
|
c1977
|
|
|
B 7.3 S4713 1978 : Semiconductor Test Conference; Information Sci. Lib.;
|
|
|
|
LSI & board : digest of papers / 1978 semincoductor test conferenece , October 31, November 1,2, 1978, held at Cherry Hill, New Jersey ; sponsored by IEEE Computer Scoiety, Test Technology Committee and Philadelphia Section of the IEEE
Semiconductor Test Conference;
LIB USE ONLY
|
|
c1978
|
|
|
B 7.3 V497 1984 : Vergis, Anastasios S; Information Sci. Lib.;
|
|
|
|
Multiple fault detection in digital circuits / Anastasios S. Vergis
Vergis, Anastasios S;
AVAILABLE
|
|
c1984
|
|
|
B 7.3 Y67 1986 : You, Younggap; Information Sci. Lib.;
|
|
|
|
Self-testing vlsi circuits / Younggap You
You, Younggap;
AVAILABLE
|
|
c1986
|
|
|
B 8.2 O38 2014 : Ohring, Milton,; Information Sci. Lib.;
|
|
|
|
Reliability and failure of electronic materials and devices / Milton Ohring, Lucian Kasprzak
Ohring, Milton,;
AVAILABLE
|
|
2014
|
|
|
