Proceedings of the 1992 IEEE/ACM international conference on Computer-aided design

ICCAD '92: Proceedings of the 1992 IEEE/ACM international conference on Computer-aided design

November 1992

1992 Proceeding

Chairmen:
Louise Trevillyan
IBM Corp., Yorktown Heights, NY
,
Michael Lightner
Univ. of Colorado, Boulder

Publisher:

IEEE Computer Society Press
Washington
DC
United States

Conference:

Santa Clara California USA

ISBN:

978-0-89791-540-3

Published:

08 November 1992

Sponsors:

SIGDA, IEEE-CAS, IEEE-CS

Get Alerts for this ConferenceAlerts Save to BinderBinder

Save to Binder

Create a New Binder

Name

Export CitationCitation

Share on

Bibliometrics

Citation count

604

Downloads (6 weeks)

Downloads (12 months)

885

Downloads (cumulative)

34,310

Sections

ICCAD '92: Proceedings of the 1992 IEEE/ACM international conference on Computer-aided design

1992

Previous Next

Abstract

No abstract available.

Select All

Export Citations Save to Binder

Article

Free

Configuring multiple scan chains for minimum test time

Sridhar Narayanan,
Rajesh Gupta,
Melvin Breuer

pp 4–8

- 6
- 173
Metrics
Total Citations6
Total Downloads173
Last 12 Months4
Last 6 weeks0

Export Citations
Save to Binder
Save to Binder
Create a New Binder
Name

View online with eReader
PDF

Article

Free

Overall consideration of scan design and test generation

Pao-Chuan Chen,
Bin-Da Liu,
Jhing-Fa Wang

pp 9–12

- 5
- 93
Metrics
Total Citations5
Total Downloads93
Last 12 Months2
Last 6 weeks0

Export Citations
Save to Binder
Save to Binder
Create a New Binder
Name

View online with eReader
PDF

Article

Free

Configuration of a boundary scan chain for optimal testing of clusters of non boundary scan devices

Y.-H. Choi,
T. Jung

pp 13–16

- 1
- 128
Metrics
Total Citations1
Total Downloads128
Last 12 Months8
Last 6 weeks1

Export Citations
Save to Binder
Save to Binder
Create a New Binder
Name

View online with eReader
PDF

Article

Free

An algorithm to reduce test application time in full scan designs

Soo Y. Lee,
Kewal K. Saluja

pp 17–20

- 12
- 119
Metrics
Total Citations12
Total Downloads119
Last 12 Months3
Last 6 weeks0

Export Citations
Save to Binder
Save to Binder
Create a New Binder
Name

View online with eReader
PDF

Article

Free

New channel segmentation model and associated routing algorithm for high performance FPGAs

Surendra Burman,
Chandar Kamalanathan,
Naveed Sherwani

pp 22–25

- 1
- 153
Metrics
Total Citations1
Total Downloads153
Last 12 Months10
Last 6 weeks0

Export Citations
Save to Binder
Save to Binder
Create a New Binder
Name

View online with eReader
PDF

Article

Free

On channel segmentation design for row-based FPGAs

Kai Zhu,
D. F. Wong

pp 26–29

- 7
- 153
Metrics
Total Citations7
Total Downloads153
Last 12 Months3
Last 6 weeks0

Export Citations
Save to Binder
Save to Binder
Create a New Binder
Name

View online with eReader
PDF

Article

Free

VLSI design parsing (preliminary version)

Akhilesh Tyagi

pp 30–34

- 0
- 334
Metrics
Total Citations0
Total Downloads334
Last 12 Months84
Last 6 weeks13

Export Citations
Save to Binder
Save to Binder
Create a New Binder
Name

View online with eReader
PDF

Article

Free

Aesthetic routing for transistor schematics

Tsung D. Lee,
Lawrence P. McNamee

pp 35–38

- 0
- 2,681
Metrics
Total Citations0
Total Downloads2,681
Last 12 Months8
Last 6 weeks2

Export Citations
Save to Binder
Save to Binder
Create a New Binder
Name

View online with eReader
PDF

Article

Free

A tutorial on logic synthesis for lookup-table based FPGAs

Robert J. Francis

pp 40–47

- 0
- 808
Metrics
Total Citations0
Total Downloads808
Last 12 Months5
Last 6 weeks1

Export Citations
Save to Binder
Save to Binder
Create a New Binder
Name

View online with eReader
PDF

Article

Free

An optimal technology mapping algorithm for delay optimization in lookup-table based FPGA designs

Jason Cong,
Yuzheng Ding

pp 48–53

- 26
- 648
Metrics
Total Citations26
Total Downloads648
Last 12 Months15
Last 6 weeks5

Export Citations
Save to Binder
Save to Binder
Create a New Binder
Name

View online with eReader
PDF

Article

Free

Rectification method for lookup-table type FPGA's

Yuji Kukimoto,
Masahiro Fujita

pp 54–61

- 6
- 230
Metrics
Total Citations6
Total Downloads230
Last 12 Months20
Last 6 weeks0

Export Citations
Save to Binder
Save to Binder
Create a New Binder
Name

View online with eReader
PDF

Article

Free

AWE macromodels of VLSI interconnect for circuit simulation

Seok-Yoon Kim,
Nanda Gopal,
Lawrence T. Pillage

pp 64–70

- 2
- 161
Metrics
Total Citations2
Total Downloads161
Last 12 Months15
Last 6 weeks3

Export Citations
Save to Binder
Save to Binder
Create a New Binder
Name

View online with eReader
PDF

Article

Free

Extension of the asymptotic waveform evaluation technique with the method of characteristics

J. E. Bracken,
V. Raghavan,
R. A. Rohrer

pp 71–75

- 3
- 167
Metrics
Total Citations3
Total Downloads167
Last 12 Months7
Last 6 weeks0

Export Citations
Save to Binder
Save to Binder
Create a New Binder
Name

View online with eReader
PDF

Article

Free

Numerical integration algorithms and asymptotic waveform evaluation (AWE)

M. Murat Alaybeyi,
John Y. Lee,
Ronald A. Rohrer

pp 76–79

- 2
- 389
Metrics
Total Citations2
Total Downloads389
Last 12 Months4
Last 6 weeks0

Export Citations
Save to Binder
Save to Binder
Create a New Binder
Name

View online with eReader
PDF

Article

Free

Timing distribution in VHDL behavioral models

Ashish S. Gadagkar,
James R. Armstrong

pp 82–89

- 0
- 173
Metrics
Total Citations0
Total Downloads173
Last 12 Months2
Last 6 weeks0

Export Citations
Save to Binder
Save to Binder
Create a New Binder
Name

View online with eReader
PDF

Article

Free

McPOWER: a Monte Carlo approach to power estimation

Richard Burch,
Farid Najm,
Ping Yang,
Timothy Trick

pp 90–97

- 6
- 252
Metrics
Total Citations6
Total Downloads252
Last 12 Months6
Last 6 weeks1

Export Citations
Save to Binder
Save to Binder
Create a New Binder
Name

View online with eReader
PDF

Article

Free

Exhaustive simulation need not require an exponential number of tests

Daniel Brand

pp 98–101

- 0
- 125
Metrics
Total Citations0
Total Downloads125
Last 12 Months7
Last 6 weeks1

Export Citations
Save to Binder
Save to Binder
Create a New Binder
Name

View online with eReader
PDF

Article

Free

A unified signal transition graph model for asynchronous control circuit synthesis

Alexandre Yakovlev,
Luciano Lavagno,
Alberto Sangiovanni-Vincentelli

pp 104–111

- 0
- 283
Metrics
Total Citations0
Total Downloads283
Last 12 Months14
Last 6 weeks0

Export Citations
Save to Binder
Save to Binder
Create a New Binder
Name

View online with eReader
PDF

Article

Free

A generalized state assignment theory for transformation on signal transition graphs

Peter Vanbekbergen,
Bill Lin,
Gert Goosens,
Hugo De Man

pp 112–117

- 9
- 184
Metrics
Total Citations9
Total Downloads184
Last 12 Months10
Last 6 weeks0

Export Citations
Save to Binder
Save to Binder
Create a New Binder
Name

View online with eReader
PDF

Article

Free

On the verification of state-coding in STGs

Kuan-Jen Lin,
Chen-Shang Lin

pp 118–122

- 0
- 102
Metrics
Total Citations0
Total Downloads102
Last 12 Months4
Last 6 weeks0

Export Citations
Save to Binder
Save to Binder
Create a New Binder
Name

View online with eReader
PDF

Article

Free

Verifying clock schedules

Thomas G. Szymanski,
Narendra Shenoy

pp 124–131

- 18
- 225
Metrics
Total Citations18
Total Downloads225
Last 12 Months4
Last 6 weeks0

Export Citations
Save to Binder
Save to Binder
Create a New Binder
Name

View online with eReader
PDF

Article

Free

Graph algorithms for clock schedule optimization

Narendra Shenoy,
Robert K. Brayton,
Alberto L. Sangiovanni-Vincentelli

pp 132–136

- 16
- 358
Metrics
Total Citations16
Total Downloads358
Last 12 Months9
Last 6 weeks0

Export Citations
Save to Binder
Save to Binder
Create a New Binder
Name

View online with eReader
PDF

Article

Free

Identification of critical paths in circuits with level-sensitive latches

Timothy M. Burks,
Karem A. Sakallah,
Trevor N. Mudge

pp 137–141

- 4
- 219
Metrics
Total Citations4
Total Downloads219
Last 12 Months9
Last 6 weeks0

Export Citations
Save to Binder
Save to Binder
Create a New Binder
Name

View online with eReader
PDF

Article

Free

Using constraint geometry to determine maximum rate pipeline clocking

Chuan-Hua Chang,
Edward S. Davidson,
Karem A. Sakallah

pp 142–148

- 0
- 59
Metrics
Total Citations0
Total Downloads59
Last 12 Months4
Last 6 weeks0

Export Citations
Save to Binder
Save to Binder
Create a New Binder
Name

View online with eReader
PDF

Article

Free

HIMALAYAS — a hierarchical compaction system with a minimized constraint set

Jin-fuw Lee,
Donald T. Tang

pp 150–157

- 3
- 137
Metrics
Total Citations3
Total Downloads137
Last 12 Months4
Last 6 weeks0

Export Citations
Save to Binder
Save to Binder
Create a New Binder
Name

View online with eReader
PDF

Article

Free

Cloning techniques for hierarchical compaction

Ravi Varadarajan,
Cyrus S. Bamji

pp 158–161

- 1
- 124
Metrics
Total Citations1
Total Downloads124
Last 12 Months7
Last 6 weeks0

Export Citations
Save to Binder
Save to Binder
Create a New Binder
Name

View online with eReader
PDF

Article

Free

An optimal chip compaction method based on shortest path algorithm with automatic jog insertion

Toru Awashima,
Wataru Yamamoto,
Masao Sato,
Tatsuo Ohtsuki

pp 162–165

- 0
- 189
Metrics
Total Citations0
Total Downloads189
Last 12 Months2
Last 6 weeks0

Export Citations
Save to Binder
Save to Binder
Create a New Binder
Name

View online with eReader
PDF

Article

Free

MOSAIC: a tile-based datapath layout generator

Goro Suzuki,
Tetsuya Yamamoto,
Kyoji Yuyama,
Kotaro Hirasawa

pp 166–170

- 0
- 159
Metrics
Total Citations0
Total Downloads159
Last 12 Months11
Last 6 weeks1

Export Citations
Save to Binder
Save to Binder
Create a New Binder
Name

View online with eReader
PDF

Article

Free

Automatic compositional minimization in CTL model checking

Massimiliano Chiodo,
Thomas R. Shiple,
Alberto L. Sangiovanni-Vincentelli,
Robert K. Brayton

pp 172–178

- 4
- 183
Metrics
Total Citations4
Total Downloads183
Last 12 Months5
Last 6 weeks1

Export Citations
Save to Binder
Save to Binder
Create a New Binder
Name

View online with eReader
PDF

Article

Free

Verification of systems containing counters

Enrico Macii,
Bernard Plessier,
Fabio Somenzi

pp 179–182

- 5
- 120
Metrics
Total Citations5
Total Downloads120
Last 12 Months2
Last 6 weeks0

Export Citations
Save to Binder
Save to Binder
Create a New Binder
Name

View online with eReader
PDF

Save to Binder

Create a New Binder

Name

Contributors

Louise H Trevillyan
IBM Thomas J. Watson Research Center
- Publication Years1980 - 2013
- Publication counts17
- Citation count270
- Available for Download6
- Downloads (cumulative)1,158
- Downloads (12 months)94
- Downloads (6 weeks)13
- Average Downloads per Article193
- Average Citation per Article16
View Full Profile
Michael R Lightner
University of Colorado Boulder
- Publication Years1995 - 1995
- Publication counts1
- Citation count0
- Available for Download1
- Downloads (cumulative)37
- Downloads (12 months)21
- Downloads (6 weeks)2
- Average Downloads per Article37
- Average Citation per Article0
View Full Profile

Index Terms

Proceedings of the 1992 IEEE/ACM international conference on Computer-aided design
1. Applied computing
  1. Physical sciences and engineering
    1. Engineering
2. Hardware

Recommendations

UbiMob '05: Proceedings of the 2nd French-speaking conference on Mobility and ubiquity computing
Read More
UbiMob '08: Proceedings of the 4th French-speaking conference on Mobility and ubiquity computing
Read More
CompSysTech '10: Proceedings of the 11th International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing on International Conference on Computer Systems and Technologies
Read More

Acceptance Rates

Overall Acceptance Rate457of1,762submissions,26%

Year	Submitted	Accepted	Rate
ICCAD '16	408	97	24%
ICCAD '13	354	92	26%
ICCAD '07	510	139	27%
ICCAD '03	490	129	26%
Overall	1,762	457	26%

Comments

Export Citations

Select Citation format

Please download or close your previous search result export first before starting a new bulk export.
Preview is not available.
By clicking download,a status dialog will open to start the export process. The process may takea few minutes but once it finishes a file will be downloadable from your browser. You may continue to browse the DL while the export process is in progress.
Download
- Download citation
- Copy citation

Save to Binder

Sections

Save to Binder

Index Terms

Proceedings of the 1992 IEEE/ACM international conference on Computer-aided design

Recommendations

UbiMob '05: Proceedings of the 2nd French-speaking conference on Mobility and ubiquity computing

UbiMob '08: Proceedings of the 4th French-speaking conference on Mobility and ubiquity computing

CompSysTech '10: Proceedings of the 11th International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing on International Conference on Computer Systems and Technologies

Acceptance Rates