share record
persistent URL:
Amit Tandon , Federico Politi : Model Generation and Gate Level Abstraction of Complex CMOS Custom Design for Functional and DFT Validation. IWLS 2002 : 255-260 share record
persistent URL:
Hua Tang , Alex Doboli : Layout-Aware Synthesis Methodology for Analog Systems Based on Combined Block Sizing, Floorplanning and Global Routing. IWLS 2002 : 41-44 export record
dblp key:
conf/iwls/ThepayasuwanD02 share record
persistent URL:
Nattawut Thepayasuwan , Alex Doboli : A Methodology for Core Placement and Bus Synthesis under Time, Area and Energy Consumption Constraints. IWLS 2002 : 57-60 share record
persistent URL:
Whitney J. Townsend , Mitchell A. Thornton , Parag K. Lala : On-line Error Detection in a Carry-free Adder. IWLS 2002 : 251-254 share record
persistent URL:
Masayuki Tsukisaka , Masashi Imai , Takashi Nanya : High Throughput Asynchronous Domino Using Dual output Buffer. IWLS 2002 : 279-282 share record
persistent URL:
Jorgiano Vidal , David Déharbe , Dominique Borrione : Improving Static Ordering of BDDs for Reachability Analysis. IWLS 2002 : 73-77 share record
persistent URL:
Miodrag Vujkovic , Carl Sechen : Optimized Power-Delay Curve Generation for Standard Cell ICs. IWLS 2002 : 413-418 share record
persistent URL:
Xinning Wang , Prashant Sawkar , Barbara A. Chappell : A Constructive Matching Algorithm for Library-Based Domino Technology Mapping. IWLS 2002 : 215-220 export record
dblp key:
conf/iwls/YanushkevichSMD02 share record
persistent URL:
Svetlana N. Yanushkevich , Vlad P. Shmerko , V. D. Malyugin , Piotr Dziurzanski : Linearity of World-Level Circuit Models: New Understanding. IWLS 2002 : 67-72 share record
persistent URL:
Chia-Chih Yen , Kuang-Chien Chen , Jing-Yang Jou : A Practical Approach to Cycle Bound Estimation for Property Checking. IWLS 2002 : 149-154 export record
dblp key:
conf/iwls/YevtushenkoVBPS02 share record
persistent URL:
Nina Yevtushenko , Tiziano Villa , Robert K. Brayton , Alexandre Petrenko , Alberto L. Sangiovanni-Vincentelli : Equisolvability of Series vs. Controller's Topology in Synchronous Language Equations. IWLS 2002 : 45-50 share record
persistent URL:
Jun Yuan , Ken Albin , Adnan Aziz , Carl Pixley : Simplifying Constraint Solving in Random Simulation Generation. IWLS 2002 : 185-190 share record
persistent URL:
Jun Yuan , Kurt Shultz , John Havlicek , Ken Albin , Adnan Aziz : A Method for Synthesizing Boolean Constrains. IWLS 2002 : 351-353 share record
persistent URL:
11th IEEE/ACM International Workshop on Logic & Synthesis, IWLS 2002, June 4-7, 2002, New Orleans, Louisiana, USA. 2002 [contents]