Volume 20,
Number 1,
January 2001
- Maria del Mar Hershenson, Stephen P. Boyd, Thomas H. Lee:
Optimal design of a CMOS op-amp via geometric programming.
1-21
Electronic Edition (link) BibTeX
- Pradip Mandal, V. Visvanathan:
CMOS op-amp sizing using a geometric programming formulation.
22-38
Electronic Edition (link) BibTeX
- Mayukh Bhattacharya, Pinaki Mazumder:
Augmentation of SPICE for simulation of circuits containingresonant tunneling diodes.
39-50
Electronic Edition (link) BibTeX
- Rolf Drechsler, Wolfgang Günther, Fabio Somenzi:
Using lower bounds during dynamic BDD minimization.
51-57
Electronic Edition (link) BibTeX
- Hirendu Vaishnav, Massoud Pedram:
Alphabetic trees-theory and applications in layout-driven logicsynthesis.
58-69
Electronic Edition (link) BibTeX
- Michael W. Beattie, Byron Krauter, Lale Alatan, Lawrence T. Pileggi:
Equipotential shells for efficient inductance extraction.
70-79
Electronic Edition (link) BibTeX
- Mohamed Hafed, Mourad Oulmane, Nicholas C. Rumin:
Delay and current estimation in a CMOS inverter with an RC load.
80-89
Electronic Edition (link) BibTeX
- Charles J. Alpert, Anirudh Devgan, John P. Fishburn, Stephen T. Quay:
Interconnect synthesis without wire tapering.
90-104
Electronic Edition (link) BibTeX
- Tom J. Smy, David J. Walkey, Steven K. Dew:
A 3D thermal simulation tool for integrated devices-Atar.
105-115
Electronic Edition (link) BibTeX
- André Ivanov, Sumbal Rafiq, Michel Renovell, Florence Azaïs, Yves Bertrand:
On the detectability of CMOS floating gate transistor faults.
116-128
Electronic Edition (link) BibTeX
- Wendy Belluomini, Chris J. Myers, H. Peter Hofstee:
Timed circuit verification using TEL structures.
129-146
Electronic Edition (link) BibTeX
- Shih-Chieh Chang, Jiann-Chyi Rau:
A timing-driven pseudoexhaustive testing for VLSI circuits.
147-158
Electronic Edition (link) BibTeX
- Kamal S. Khouri, Niraj K. Jha:
Clock selection for performance optimization of control-flowintensive behaviors.
158-165
Electronic Edition (link) BibTeX
- Yun-Che Wen, Kuen-Jong Lee:
Analysis and generation of control and observation structures foranalog circuits.
165-171
Electronic Edition (link) BibTeX
- Yi-Jong Yeh, Sy-Yen Kuo, Jing-Yang Jou:
Converter-free multiple-voltage scaling techniques for low-powerCMOS digital design.
172-176
Electronic Edition (link) BibTeX
Volume 20,
Number 2,
February 2001
- Praveen K. Murthy, Shuvra S. Bhattacharyya:
Shared buffer implementations of signal processing systems usinglifetime analysis techniques.
177-198
Electronic Edition (link) BibTeX
- Sanghun Park, Kiyoung Choi:
Performance-driven high-level synthesis with bit-level chaining andclock selection.
199-212
Electronic Edition (link) BibTeX
- Luc Séméria, Giovanni De Micheli:
Resolution, optimization, and encoding of pointer variables for thebehavioral synthesis from C.
213-233
Electronic Edition (link) BibTeX
- Markus Weinhardt, Wayne Luk:
Pipeline vectorization.
234-248
Electronic Edition (link) BibTeX
- Vigyan Singhal, Carl Pixley, Adnan Aziz, Robert K. Brayton:
Theory of safe replacements for sequential circuits.
249-265
Electronic Edition (link) BibTeX
- Shih-Chieh Chang, Ching-Hwa Cheng, Wen-Ben Jone, Shin-De Lee, Jinn-Shyan Wang:
Charge-sharing alleviation and detection for CMOS domino circuits.
266-280
Electronic Edition (link) BibTeX
- Pei-Ning Guo, Toshihiko Takahashi, Chung-Kuan Cheng, Takeshi Yoshimura:
Floorplanning using a tree representation.
281-289
Electronic Edition (link) BibTeX
- Hyungwon Kim, John P. Hayes:
Realization-independent ATPG for designs with unimplemented blocks.
290-306
Electronic Edition (link) BibTeX
- Khaled Saab, Naim Ben Hamida, Bozena Kaminska:
Closing the gap between analog and digital testing.
307-314
Electronic Edition (link) BibTeX
- Hakan Yalcin, Mohammad Mortazavi, Robert Palermo, Cyrus Bamji, Karem A. Sakallah, John P. Hayes:
Fast and accurate timing characterization using functionalinformation.
315-331
Electronic Edition (link) BibTeX
- Adnan Aziz, James H. Kukula, Thomas R. Shiple, Jun Yuan:
Efficient control state-space search.
332-336
Electronic Edition (link) BibTeX
- Irith Pomeranz, Sudhakar M. Reddy:
Vector replacement to improve static-test compaction forsynchronous sequential circuits.
336-342
Electronic Edition (link) BibTeX
- Shanq-Jang Ruan, Rung-Ji Shang, Feipei Lai, Kun-Lin Tsai:
A bipartition-codec architecture to reduce power in pipelinedcircuits.
343-348
Electronic Edition (link) BibTeX
Volume 20,
Number 3,
March 2001
- Ramesh Karri:
Guest editor's introduction to special section on high-level design validation and test.
353-354
Electronic Edition (link) BibTeX
- Anshuman Chandra, Krishnendu Chakrabarty:
System-on-a-chip test-data compression and decompressionarchitectures based on Golomb codes.
355-368
Electronic Edition (link) BibTeX
- Li Chen, Sujit Dey:
Software-based self-testing methodology for processor cores.
369-380
Electronic Edition (link) BibTeX
- Chung-Yang Huang, Kwang-Ting Cheng:
Using word-level ATPG and modular arithmetic constraint-solvingtechniques for assertion property checking.
381-391
Electronic Edition (link) BibTeX
- Farinaz Koushanfar, Darko Kirovski, Inki Hong, Miodrag Potkonjak, Marios C. Papaefthymiou:
Symbolic debugging of embedded hardware and software.
392-401
Electronic Edition (link) BibTeX
- Indradeep Ghosh, Masahiro Fujita:
Automatic test pattern generation for functional register-transferlevel circuits using assignment decision diagrams.
402-415
Electronic Edition (link) BibTeX
- Angela Krstic, Yi-Min Jiang, Kwang-Ting Cheng:
Pattern generation for delay testing and dynamic timing analysisconsidering power-supply noise effects.
416-425
Electronic Edition (link) BibTeX
- Srivaths Ravi, Ganesh Lakshminarayana, Niraj K. Jha:
Testing of core-based systems-on-a-chip.
426-439
Electronic Edition (link) BibTeX
- Mukund Sivaraman, Andrzej J. Strojwas:
Path delay fault diagnosis and coverage-a metric and an estimationtechnique.
440-457
Electronic Edition (link) BibTeX
- Clayton B. McDonald, Randal E. Bryant:
CMOS circuit verification with symbolic switch-level timingsimulation.
458-474
Electronic Edition (link) BibTeX
Volume 20,
Number 4,
April 2001
- Siddharth Rele, Vipin Jain, Santosh Pande, J. Ramanujam:
Compact and efficient code generation through program restructuringon limited memory embedded DSPs.
477-494
Electronic Edition (link) BibTeX
- Yutao Ma, Litian Liu, Lilin Tian, Zhiping Yu, Zhijian Li:
Analytical charge-control and I-V model for submicrometer anddeep-submicrometer MOSFETs fully comprising quantum mechanical effects.
495-502
Electronic Edition (link) BibTeX
- Prashant Saxena, C. L. Liu:
Optimization of the maximum delay of global interconnects duringlayer assignment.
503-515
Electronic Edition (link) BibTeX
- Lixin Su, Wray L. Buntine, A. Richard Newton, Bradley S. Peters:
Learning as applied to stochastic optimization for standard-cellplacement.
516-527
Electronic Edition (link) BibTeX
- Hsiao-Ping Tseng, Louis Scheffer, Carl Sechen:
Timing- and crosstalk-driven area routing.
528-544
Electronic Edition (link) BibTeX
- Nur A. Touba, Edward J. McCluskey:
Bit-fixing in pseudorandom sequences for scan BIST.
545-555
Electronic Edition (link) BibTeX
- Charles J. Alpert, Gopal Gandham, Jiang Hu, José Luis Neves, Stephen T. Quay, Sachin S. Sapatnekar:
Steiner tree optimization for buffers, blockages, and bays.
556-562
Electronic Edition (link) BibTeX
Volume 20,
Number 5,
May 2001
- Charles J. Alpert, Anirudh Devgan, Chandramouli V. Kashyap:
RC delay metrics for performance optimization.
571-582
Electronic Edition (link) BibTeX
- Evanthia Papadopoulou:
Critical area computation for missing material defects in VLSIcircuits.
583-597
Electronic Edition (link) BibTeX
- Chin-Chih Chang, Jason Cong:
Pseudopin assignment with crosstalk noise control.
598-611
Electronic Edition (link) BibTeX
- Lauren Hui Chen, Malgorzata Marek-Sadowska:
Aggressor alignment for worst-case crosstalk noise.
612-621
Electronic Edition (link) BibTeX
- Christoph Albrecht:
Global routing by new approximation algorithms for multicommodityflow.
622-632
Electronic Edition (link) BibTeX
- Jason Cong, Jie Fang, Kei-Yong Khoo:
DUNE-a multilayer gridless routing system.
633-647
Electronic Edition (link) BibTeX
- Andrew B. Kahng, Stefanus Mantik, Dirk Stroobandt:
Toward accurate models of achievable routing.
648-659
Electronic Edition (link) BibTeX
- Probir Sarkar, Cheng-Kok Koh:
Routability-driven repeater block planning for interconnect-centricfloorplanning.
660-671
Electronic Edition (link) BibTeX
- Rony Kay, Rob A. Rutenbar:
Wire packing - a strong formulation of crosstalk-aware chip-leveltrack/layer assignment with an efficient integer programming solution.
672-679
Electronic Edition (link) BibTeX
- Yu-Yen Mo, Chris C. N. Chu:
Hybrid dynamic/quadratic programming algorithm for interconnecttree optimization.
680-686
Electronic Edition (link) BibTeX
- Evangeline F. Y. Young, Chris C. N. Chu, W. S. Luk, Y. C. Wong:
Handling soft modules in general nonslicing floorplan usingLagrangian relaxation.
687-692
Electronic Edition (link) BibTeX
- Hai Zhou, Adnan Aziz:
Buffer minimization in pass transistor logic.
693-697
Electronic Edition (link) BibTeX
Volume 20,
Number 6,
June 2001
- Amir H. Farrahi, Chunhong Chen, Ankur Srivastava, Gustavo E. Téllez, Majid Sarrafzadeh:
Activity-driven clock design.
705-714
Electronic Edition (link) BibTeX
- Jaewon Oh, Massoud Pedram:
Gated clock routing for low-power microprocessor design.
715-722
Electronic Edition (link) BibTeX
- Amr G. Wassal, M. Anwar Hasan:
Low-power system-level design of VLSI packet switching fabrics.
723-738
Electronic Edition (link) BibTeX
- Jason Cong, David Zhigang Pan:
Interconnect performance estimation models for design planning.
739-752
Electronic Edition (link) BibTeX
- Peter Meuris, Wim Schoenmaker, Wim Magnus:
Strategy for electromagnetic interconnect modeling.
753-762
Electronic Edition (link) BibTeX
- Junlin Zhou, Mengzhang Cheng, Leonard Forbes:
SPICE models for flicker noise in p-MOSFETs in the saturationregion.
763-767
Electronic Edition (link) BibTeX
- Kanishka Lahiri, Anand Raghunathan, Sujit Dey:
System-level performance analysis for designing on-chipcommunication architectures.
768-783
Electronic Edition (link) BibTeX
- Yao-Wen Chang, Jai-Ming Lin, Martin D. F. Wong:
Matching-based algorithm for FPGA channel segmentation design.
784-791
Electronic Edition (link) BibTeX
- Irith Pomeranz, Sudhakar M. Reddy:
On diagnosis and diagnostic test generation for pattern-dependenttransition faults.
791-800
Electronic Edition (link) BibTeX
- Evangeline F. Y. Young, Martin D. F. Wong, Hannah Honghua Yang:
On extending slicing floorplan to handle L/T-shaped modules andabutment constraints.
800-807
Electronic Edition (link) BibTeX
Volume 20,
Number 7,
July 2001
- C.-J. Richard Shi, Sheldon X.-D. Tan:
Compact representation and efficient generation of s-expandedsymbolic network functions for computer-aided analog circuit design.
813-827
Electronic Edition (link) BibTeX
- Zaher Baidas, Andrew D. Brown, Alan Christopher Williams:
Floating-point behavioral synthesis.
828-839
Electronic Edition (link) BibTeX
- Tajana Simunic, Luca Benini, Peter W. Glynn, Giovanni De Micheli:
Event-driven power management.
840-857
Electronic Edition (link) BibTeX
- Martin Kuhlmann, Sachin S. Sapatnekar:
Exact and efficient crosstalk estimation.
858-866
Electronic Edition (link) BibTeX
- Kyu-Il Lee, Jinsoo Kim, Young June Park, Hong Shick Min:
Simple frequency-domain analysis of MOSFET-includingnonquasi-static effect.
867-876
Electronic Edition (link) BibTeX
- Phillip Restle, Albert E. Ruehli, Steven G. Walker, George Papadopoulos:
Full-wave PEEC time-domain method for the modeling of on-chipinterconnects.
877-886
Electronic Edition (link) BibTeX
- Kenneth L. Shepard, Dae-Jin Kim:
Body-voltage estimation in digital PD-SOI circuits and itsapplication to static timing analysis.
888-901
Electronic Edition (link) BibTeX
- Ruiqi Tian, Martin D. F. Wong, Robert Boone:
Model-based dummy feature placement for oxide chemical-mechanicalpolishing manufacturability.
902-910
Electronic Edition (link) BibTeX
- Tsung-Chu Huang, Kuen-Jong Lee:
Reduction of power consumption in scan-based circuits during testapplication by an input control technique.
911-917
Electronic Edition (link) BibTeX
Volume 20,
Number 8,
August 2001
- Ki-Il Kum, Wonyong Sung:
Combined word-length optimization and high-level synthesis ofdigital signal processing systems.
921-930
Electronic Edition (link) BibTeX
- David L. Rhodes, Wayne Wolf:
RAGS-real-analysis ALAP-guided synthesis.
931-941
Electronic Edition (link) BibTeX
- Qing Wu, Qinru Qiu, Massoud Pedram:
Estimation of peak power dissipation in VLSI circuits using thelimiting distributions of extreme order statistics.
942-956
Electronic Edition (link) BibTeX
- Angelo Brambilla, Paolo Maffezzoni:
Statistical method for the analysis of interconnects delay insubmicrometer layouts.
957-966
Electronic Edition (link) BibTeX
- Lih-Yang Wang, Yen-Tai Lai:
Graph-theory-based simplex algorithm for VLSI layout spacingproblems with multiple variable constraints.
967-979
Electronic Edition (link) BibTeX
- Irith Pomeranz, Y. Zonan:
Testing of scan circuits containing nonisolated random-logic legacycores.
980-993
Electronic Edition (link) BibTeX
- Farzan Fallah, Srinivas Devadas, Kurt Keutzer:
Functional vector generation for HDL models using linearprogramming and Boolean satisfiability.
994-1002
Electronic Edition (link) BibTeX
- Farzan Fallah, Srinivas Devadas, Kurt Keutzer:
OCCOM-efficient computation of observability-based code coveragemetrics for functional verification.
1003-1015
Electronic Edition (link) BibTeX
- Harry Hsieh, Felice Balarin, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli:
Synchronous approach to the functional equivalence of embeddedsystem implementations.
1016-1033
Electronic Edition (link) BibTeX
Volume 20,
Number 9,
September 2001
- Geert Van der Plas, Geert Debyser, Francky Leyn, Koen Lampaert, Jan Vandenbussche, Georges G. E. Gielen, Willy M. C. Sansen, Petar Veselinovic, Domine Leenaerts:
AMGIE-A synthesis environment for CMOS analog integrated circuits.
1037-1058
Electronic Edition (link) BibTeX
- Luca P. Carloni, Kenneth L. McMillan, Alberto L. Sangiovanni-Vincentelli:
Theory of latency-insensitive design.
1059-1076
Electronic Edition (link) BibTeX
- Jason Cong, Yean-Yow Hwang:
Boolean matching for LUT-based logic blocks with applications toarchitecture evaluation and technology mapping.
1077-1090
Electronic Edition (link) BibTeX
- Ki-Wook Kim, Sung-Mo Kang:
Crosstalk noise minimization in domino logic design.
1091-1100
Electronic Edition (link) BibTeX
- Arlindo L. Oliveira:
Techniques for the creation of digital watermarks in sequentialcircuit designs.
1101-1117
Electronic Edition (link) BibTeX
- Luca Benini, Giovanni De Micheli, Antonio Lioy, Enrico Macii, Giuseppe Odasso, Massimo Poncino:
Synthesis of power-managed sequential components based oncomputational kernel extraction.
1118-1131
Electronic Edition (link) BibTeX
- Ismet Bayraktaroglu, Alex Orailoglu:
Concurrent test for digital linear systems.
1132-1142
Electronic Edition (link) BibTeX
- Rajesh Pendurkar, Abhijit Chatterjee, Yervant Zorian:
Switching activity generation with automated BIST synthesis forperformance testing of interconnects.
1143-1158
Electronic Edition (link) BibTeX
- Shih-Chieh Chang, Zhong-Zhen Wu:
Theorems and extensions of single wire replacement.
1159-1164
Electronic Edition (link) BibTeX
- Jason Cong, Lei He, Cheng-Kok Koh, David Zhigang Pan:
Interconnect sizing and spacing with consideration of couplingcapacitance.
1164-1169
Electronic Edition (link) BibTeX
- Ankur Srivastava, Ryan Kastner, Majid Sarrafzadeh:
On the complexity of gate duplication.
1170-1176
Electronic Edition (link) BibTeX
- Radomir S. Stankovic, Tsutomu Sasao:
A discussion on the history of research in arithmetic andReed-Muller expressions.
1177-1179
Electronic Edition (link) BibTeX
Volume 20,
Number 10,
October 2001
- Wim F. J. Verhaegh, Emile H. L. Aarts, Paul C. N. van Gorp, Paul E. R. Lippens:
A two-stage solution approach to multidimensional periodicscheduling.
1185-1199
Electronic Edition (link) BibTeX
- Qinru Qiu, Q. Qu, Massoud Pedram:
Stochastic modeling of a power-managed system-construction andoptimization.
1200-1217
Electronic Edition (link) BibTeX
- Zilu Wu, Yumin Gao, Jinsheng Luo, Xun Hou, Guofu Chen:
Application of BEM to high-voltage junction termination.
1218-1225
Electronic Edition (link) BibTeX
- Pankaj Pant, Yuan-Chieh Hsu, Sandeep K. Gupta, Abhijit Chatterjee:
Path delay fault diagnosis in combinational circuits with implicitfault enumeration.
1226-1235
Electronic Edition (link) BibTeX
- Andrew B. Kahng, John Lach, William H. Mangione-Smith, Stefanus Mantik, Igor L. Markov, Miodrag Potkonjak, Paul Tucker, Huijuan Wang, Gregory Wolfe:
Constraint-based watermarking techniques for design IP protection.
1236-1252
Electronic Edition (link) BibTeX
- John Lach, William H. Mangione-Smith, Miodrag Potkonjak:
Fingerprinting techniques for field-programmable gate arrayintellectual property protection.
1253-1261
Electronic Edition (link) BibTeX
- Irith Pomeranz, Sudhakar M. Reddy:
Forward-looking fault simulation for improved static compaction.
1262-1265
Electronic Edition (link) BibTeX
- Guang-Ming Wu, Jai-Ming Lin, Yao-Wen Chang:
Generic ILP-based approaches for time-multiplexed FPGA partitioning.
1266-1274
Electronic Edition (link) BibTeX
Volume 20,
Number 11,
November 2001
- Peter Marwedel:
Guest editorial.
1281-1282
Electronic Edition (link) BibTeX
- Andrea Acquaviva, Luca Benini, Bruno Riccò:
Software-controlled processor speed setting for low-power streamingmultimedia.
1283-1292
Electronic Edition (link) BibTeX
- Lovic Gauthier, Sungjoo Yoo, Ahmed Amine Jerraya:
Automatic generation and targeting of application-specificoperating systems and embedded systems software.
1293-1301
Electronic Edition (link) BibTeX
- Jens Wagner, Rainer Leupers:
C compiler design for a network processor.
1302-1308
Electronic Edition (link) BibTeX
- Peter Petrov, Alex Orailoglu:
Performance and power effectiveness in embedded processors customizable partitioned caches.
1309-1318
Electronic Edition (link) BibTeX
- Subramanian Rajagopalan, Sreeranga P. Rajan, Sharad Malik, Sandro Rigo, Guido Araujo, Koichiro Takayama:
A retargetable VLIW compiler framework for DSPs withinstruction-level parallelism.
1319-1328
Electronic Edition (link) BibTeX
- Lars Wehmeyer, Manoj Kumar Jain, Stefan Steinke, Peter Marwedel, M. Balakrishnan:
Analysis of the influence of register file size on energyconsumption, code size, and execution time.
1329-1337
Electronic Edition (link) BibTeX
- Andreas Hoffmann, Tim Kogel, Achim Nohl, Gunnar Braun, Oliver Schliebusch, Oliver Wahlen, Andreas Wieferink, Heinrich Meyr:
A novel methodology for the design of application-specificinstruction-set processors (ASIPs) using a machine description language.
1338-1354
Electronic Edition (link) BibTeX
- Scott A. Mahlke, Rajiv A. Ravindran, Michael S. Schlansker, Robert Schreiber, Timothy Sherwood:
Bitwidth cognizant architecture synthesis of custom hardwareaccelerators.
1355-1371
Electronic Edition (link) BibTeX
Volume 20,
Number 12,
December 2001
- Roberto Cordone, Fabrizio Ferrandi, Donatella Sciuto, Roberto Wolfler Calvo:
An efficient heuristic approach to solve the unate covering problem.
1377-1388
Electronic Edition (link) BibTeX
- Giorgio Casinovi:
Effect of the switching order on power dissipation inswitched-capacitor circuits.
1389-1397
Electronic Edition (link) BibTeX
- Johannes Tausch, Junfeng Wang, Jacob K. White:
Improved integral formulations for fast 3-D method-of-momentssolvers.
1398-1405
Electronic Edition (link) BibTeX
- Xiaoping Tang, Ruiqi Tian, Martin D. F. Wong:
Fast evaluation of sequence pair in block placement by longestcommon subsequence computation.
1406-1413
Electronic Edition (link) BibTeX
- Srivaths Ravi, Indradeep Ghosh, Vamsi Boppana, Niraj K. Jha:
Fault-diagnosis-based technique for establishing RTL and gate-levelcorrespondences.
1414-1425
Electronic Edition (link) BibTeX
- Ramesh C. Tekumalla, Premachandran R. Menon:
Identification of primitive faults in combinational and sequentialcircuits.
1426-1442
Electronic Edition (link) BibTeX
- Yirng-An Chen, Randal E. Bryant:
An efficient graph representation for arithmetic circuitverification.
1443-1454
Electronic Edition (link) BibTeX
- Jason Cong, Cheng-Kok Koh, Patrick H. Madden:
Interconnect layout optimization under higher order RLC model forMCM designs.
1455-1463
Electronic Edition (link) BibTeX
- Jie Ding, Krishnendu Chakrabarty, Richard B. Fair:
Scheduling of microfluidic operations for reconfigurabletwo-dimensional electrowetting arrays.
1463-1468
Electronic Edition (link) BibTeX
- Peeter Ellervee, Miguel Miranda, Francky Catthoor, Ahmed Hemani:
System-level data-format exploration for dynamically allocated datastructures.
1469-1472
Electronic Edition (link) BibTeX
- Hüseyin Özkaramanli:
A comparison of strong and weak distributed transverse couplingbetween VLSI interconnects.
1472-1478
Electronic Edition (link) BibTeX
- Wim F. J. Verhaegh, Emile H. L. Aarts, Paul C. N. van Gorp, Paul E. R. Lippens:
Correction to "a two-stage solution approach to multidimensional periodic scheduling".
1479-1479
Electronic Edition (link) BibTeX
Copyright © Sun May 17 00:23:12 2009
by Michael Ley (ley@uni-trier.de)