Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/dac/dac95.bht:"
download as .bib file
@inproceedings{DBLP:conf/dac/AharonGLLMMMS95,
author = {Aharon Aharon and
Dave Goodman and
Moshe Levinger and
Yossi Lichtenstein and
Yossi Malka and
Charlotte Metzger and
Moshe Molcho and
Gil Shurek},
editor = {Bryan Preas},
title = {Test Program Generation for Functional Verification of PowerPC Processors
in {IBM}},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {279--285},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217542},
doi = {10.1145/217474.217542},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/AharonGLLMMMS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Albrecht95,
author = {Thomas W. Albrecht},
editor = {Bryan Preas},
title = {Concurrent Design Methodology and Configuration Management of the
{SIEMENS} {EWSD} - {CCS7E} Processor System Simulation},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {222--227},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217533},
doi = {10.1145/217474.217533},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/Albrecht95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/AlexanderR95,
author = {Michael J. Alexander and
Gabriel Robins},
editor = {Bryan Preas},
title = {New Performance-Driven {FPGA} Routing Algorithms},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {562--567},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217589},
doi = {10.1145/217474.217589},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/AlexanderR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/AlpertY95,
author = {Charles J. Alpert and
So{-}Zen Yao},
editor = {Bryan Preas},
title = {Spectral Partitioning: The More Eigenvectors, The Better},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {195--200},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217529},
doi = {10.1145/217474.217529},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/AlpertY95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/AltmeyerSS95,
author = {Joachim Altmeyer and
Bernd Sch{\"{u}}rmann and
Martin Sch{\"{u}}tze},
editor = {Bryan Preas},
title = {Generating {ECAD} Framework Code from Abstract Models},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {88--93},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217512},
doi = {10.1145/217474.217512},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/AltmeyerSS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Bergamaschi95,
author = {Reinaldo A. Bergamaschi},
editor = {Bryan Preas},
title = {Productivity Issues in High-Level Design: Are Tools Solving the Real
Problems?},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {674--677},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217609},
doi = {10.1145/217474.217609},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/Bergamaschi95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/BernMS95,
author = {Jochen Bern and
Christoph Meinel and
Anna Slobodov{\'{a}}},
editor = {Bryan Preas},
title = {Efficient OBDD-Based Boolean Manipulation in {CAD} beyond Current
Limits},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {408--413},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217563},
doi = {10.1145/217474.217563},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/BernMS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/BiekerM95,
author = {Ulrich Bieker and
Peter Marwedel},
editor = {Bryan Preas},
title = {Retargetable Self-Test Program Generation Using Constraint Logic Programming},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {605--611},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217597},
doi = {10.1145/217474.217597},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/BiekerM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/BombanaCCHMZ95,
author = {Massimo Bombana and
Patrizia Cavalloro and
Salvatore Conigliaro and
Roger B. Hughes and
Gerry Musgrave and
Giuseppe Zaza},
editor = {Bryan Preas},
title = {Design-Flow and Synthesis for ASICs: {A} Case Study},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {292--297},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217544},
doi = {10.1145/217474.217544},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/BombanaCCHMZ95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/BormannLPV95,
author = {J{\"{o}}rg Bormann and
J{\"{o}}rg Lohse and
Michael Payer and
Gerd Venzl},
editor = {Bryan Preas},
title = {Model Checking in Industrial Hardware Design},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {298--303},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217545},
doi = {10.1145/217474.217545},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/BormannLPV95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/BredenfeldC95,
author = {Ansgar Bredenfeld and
Raul Camposano},
editor = {Bryan Preas},
title = {Tool Integration and Construction Using Generated Graph-Based Design
Representations},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {94--99},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217513},
doi = {10.1145/217474.217513},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/BredenfeldC95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/BryantC95,
author = {Randal E. Bryant and
Yirng{-}An Chen},
editor = {Bryan Preas},
title = {Verification of Arithmetic Circuits with Binary Moment Diagrams},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {535--541},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217583},
doi = {10.1145/217474.217583},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/BryantC95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/CaoABDDDDDDFGGGILMMMPPPRRSSSSVWYYZZ95,
author = {A. Cao and
A. Adalal and
J. Bauman and
P. Delisle and
P. Dedood and
P. Donehue and
M. Dell'OcaKhouja and
T. Doan and
Manjunath Doreswamy and
Philip A. Ferolito and
O. Geva and
D. Greenhill and
S. Gopaladhine and
J. Irwin and
L. Lev and
J. MacDonald and
M. Ma and
Samir Mitra and
P. Patel and
A. Prabhu and
R. Puranik and
S. Rozanski and
N. Ross and
P. Saggurti and
Slobodan Simovich and
R. Sunder and
B. Sur and
W. Vercruysse and
Michelle Wong and
P. Yip and
Robert K. Yu and
J. Zhou and
Gregory B. Zyner},
editor = {Bryan Preas},
title = {{CAD} Methodology for the Design of UltraSPARC-I Microprocessor at
Sun Microsystems Inc},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {19--22},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217485},
doi = {10.1145/217474.217485},
timestamp = {Fri, 05 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dac/CaoABDDDDDDFGGGILMMMPPPRRSSSSVWYYZZ95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Chamberlain95,
author = {Roger D. Chamberlain},
editor = {Bryan Preas},
title = {Parallel Logic Simulation of {VLSI} Systems},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {139--143},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217520},
doi = {10.1145/217474.217520},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/Chamberlain95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/ChandnaKBRS95,
author = {Ajay Chandna and
C. David Kibler and
Richard B. Brown and
Mark Roberts and
Karem A. Sakallah},
editor = {Bryan Preas},
title = {The Aurora {RAM} Compiler},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {261--266},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217539},
doi = {10.1145/217474.217539},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/ChandnaKBRS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/ChangMC95,
author = {Shih{-}Chieh Chang and
Malgorzata Marek{-}Sadowska and
Kwang{-}Ting Cheng},
editor = {Bryan Preas},
title = {An Efficient Algorithm for Local Don't Care Sets Calculation},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {663--667},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217607},
doi = {10.1145/217474.217607},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/ChangMC95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/ChangP95,
author = {Jui{-}Ming Chang and
Massoud Pedram},
editor = {Bryan Preas},
title = {Register Allocation and Binding for Low Power},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {29--35},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217502},
doi = {10.1145/217474.217502},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/ChangP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/ChengL95,
author = {Wei{-}Kai Cheng and
Youn{-}Long Lin},
editor = {Bryan Preas},
title = {A Transformation-Based Approach for Storage Optimization},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {158--163},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217523},
doi = {10.1145/217474.217523},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/ChengL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/ChiodoGJLHSSS95,
author = {Massimiliano Chiodo and
Paolo Giusto and
Attila Jurecska and
Luciano Lavagno and
Harry Hsieh and
Kei Suzuki and
Alberto L. Sangiovanni{-}Vincentelli and
Ellen Sentovich},
editor = {Bryan Preas},
title = {Synthesis of Software Programs for Embedded Control Applications},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {587--592},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217594},
doi = {10.1145/217474.217594},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/ChiodoGJLHSSS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/ChouB95,
author = {Pai H. Chou and
Gaetano Borriello},
editor = {Bryan Preas},
title = {Interval Scheduling: Fine-Grained Code Scheduling for Embedded Systems},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {462--467},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217571},
doi = {10.1145/217474.217571},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/ChouB95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/ChouKW95,
author = {Mike Chou and
Tom Korsmeyer and
Jacob White},
editor = {Bryan Preas},
title = {Transient Simulations of Three-Dimensional Integrated Circuit Interconnect
Using a Mixed Surface-Volume Approach},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {485--490},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217575},
doi = {10.1145/217474.217575},
timestamp = {Sat, 29 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dac/ChouKW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/ClarkeGMZ95,
author = {Edmund M. Clarke and
Orna Grumberg and
Kenneth L. McMillan and
Xudong Zhao},
editor = {Bryan Preas},
title = {Efficient Generation of Counterexamples and Witnesses in Symbolic
Model Checking},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {427--432},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217565},
doi = {10.1145/217474.217565},
timestamp = {Tue, 17 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/ClarkeGMZ95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/CoudertM95,
author = {Olivier Coudert and
Jean Christophe Madre},
editor = {Bryan Preas},
title = {New Ideas for Solving Covering Problems},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {641--646},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217603},
doi = {10.1145/217474.217603},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/CoudertM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/DeCastelo-Vide-e-SouzaPP95,
author = {Y. G. DeCastelo{-}Vide{-}e{-}Souza and
Miodrag Potkonjak and
Alice C. Parker},
editor = {Bryan Preas},
title = {Optimal ILP-Based Approach for Throughput Optimization Using Simultaneous
Algorithm/Architecture Matching and Retiming},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {113--118},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217516},
doi = {10.1145/217474.217516},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/DeCastelo-Vide-e-SouzaPP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/DeokarS95,
author = {Rahul B. Deokar and
Sachin S. Sapatnekar},
editor = {Bryan Preas},
title = {A Fresh Look at Retiming Via Clock Skew Optimization},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {310--315},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217547},
doi = {10.1145/217474.217547},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/DeokarS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/DevadasM95,
author = {Srinivas Devadas and
Sharad Malik},
editor = {Bryan Preas},
title = {A Survey of Optimization Techniques Targeting Low Power {VLSI} Circuits},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {242--247},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217536},
doi = {10.1145/217474.217536},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dac/DevadasM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/El-MalehMRM95,
author = {Aiman H. El{-}Maleh and
Thomas E. Marchok and
Janusz Rajski and
Wojciech Maly},
editor = {Bryan Preas},
title = {On Test Set Preservation of Retimed Circuits},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {176--182},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217526},
doi = {10.1145/217474.217526},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dac/El-MalehMRM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/FabbroFCG95,
author = {Alessandro Dal Fabbro and
Bruno Franzini and
Luigi Croce and
Carlo Guardiani},
editor = {Bryan Preas},
title = {An Assigned Probability Technique to Derive Realistic Worst-Case Timing
Models of Digital Standard Cells},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {702--706},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217614},
doi = {10.1145/217474.217614},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/FabbroFCG95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/FarrahiTS95,
author = {Amir H. Farrahi and
Gustavo E. T{\'{e}}llez and
Majid Sarrafzadeh},
editor = {Bryan Preas},
title = {Memory Segmentation to Exploit Sleep Mode Operation},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {36--41},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217503},
doi = {10.1145/217474.217503},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/FarrahiTS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/FeldmannF95,
author = {Peter Feldmann and
Roland W. Freund},
editor = {Bryan Preas},
title = {Reduced-Order Modeling of Large Linear Subcircuits via a Block Lanczos
Algorithm},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {474--479},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217573},
doi = {10.1145/217474.217573},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/FeldmannF95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/FrankRS95,
author = {Elof Frank and
Salil Raje and
Majid Sarrafzadeh},
editor = {Bryan Preas},
title = {Constrained Register Allocation in Bus Architectures},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {170--175},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217525},
doi = {10.1145/217474.217525},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/FrankRS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/FrenchLLO95,
author = {Robert S. French and
Monica S. Lam and
Jeremy R. Levitt and
Kunle Olukotun},
editor = {Bryan Preas},
title = {A General Method for Compiling Event-Driven Simulations},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {151--156},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217522},
doi = {10.1145/217474.217522},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/FrenchLLO95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/FrezzaLC95,
author = {Stephen T. Frezza and
Steven P. Levitan and
Panos K. Chrysanthis},
editor = {Bryan Preas},
title = {Requirements-Based Design Evaluation},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {76--81},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217510},
doi = {10.1145/217474.217510},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dac/FrezzaLC95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/GateleyBCCDDEFGGJKKMNNOPSSWW95,
author = {James Gateley and
Miriam Blatt and
Dennis Chen and
Scott Cooke and
Piyush Desai and
Manjunath Doreswamy and
Mark Elgood and
Gary Feierbach and
Tim Goldsbury and
Dale Greenley and
Raju Joshi and
Mike Khosraviani and
Robert Kwong and
Manish Motwani and
Chitresh Narasimhaiah and
Sam J. Nicolino Jr. and
Tooru Ozeki and
Gary Peterson and
Chris Salzmann and
Nasser Shayesteh and
Jeffrey Whitman and
Pak Wong},
editor = {Bryan Preas},
title = {UltraSPARC-I Emulation},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {13--18},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217483},
doi = {10.1145/217474.217483},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/GateleyBCCDDEFGGJKKMNNOPSSWW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/GeloshS95,
author = {Donald S. Gelosh and
Dorothy E. Setliff},
editor = {Bryan Preas},
title = {Deriving Efficient Area and Delay Estimates by Modeling Layout Tools},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {402--407},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217562},
doi = {10.1145/217474.217562},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/GeloshS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/GiumaleK95,
author = {Cristian A. Giumale and
Hilary J. Kahn},
editor = {Bryan Preas},
title = {Information Models of {VHDL}},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {678--683},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217610},
doi = {10.1145/217474.217610},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/GiumaleK95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/GuptaKTWP95,
author = {Rohini Gupta and
Byron Krauter and
Bogdan Tutuianu and
John Willis and
Lawrence T. Pileggi},
editor = {Bryan Preas},
title = {The Elmore Delay as a Bound for {RC} Trees with Generalized Input
Signals},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {364--369},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217556},
doi = {10.1145/217474.217556},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/GuptaKTWP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/HagenHK95,
author = {Lars W. Hagen and
Dennis J.{-}H. Huang and
Andrew B. Kahng},
editor = {Bryan Preas},
title = {Quantified Suboptimality of {VLSI} Layout Heuristics},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {216--221},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217532},
doi = {10.1145/217474.217532},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/HagenHK95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/HuangKT95,
author = {Dennis J.{-}H. Huang and
Andrew B. Kahng and
Chung{-}Wen Albert Tsao},
editor = {Bryan Preas},
title = {On the Bounded-Skew Clock and Steiner Routing Problems},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {508--513},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217579},
doi = {10.1145/217474.217579},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/HuangKT95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/ImanP95,
author = {Sasan Iman and
Massoud Pedram},
editor = {Bryan Preas},
title = {Logic Extraction and Factorization for Low Power},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {248--253},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217537},
doi = {10.1145/217474.217537},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/ImanP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/JainBJ95,
author = {Samir Jain and
Randal E. Bryant and
Alok Jain},
editor = {Bryan Preas},
title = {Automatic Clock Abstraction from Sequential Circuits},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {707--711},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217615},
doi = {10.1145/217474.217615},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/JainBJ95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/JainMF95,
author = {Jawahar Jain and
Rajarshi Mukherjee and
Masahiro Fujita},
editor = {Bryan Preas},
title = {Advanced Verification Techniques Based on Learning},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {420--426},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217564},
doi = {10.1145/217474.217564},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/JainMF95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/JohnsonB95,
author = {Eric W. Johnson and
Jay B. Brockman},
editor = {Bryan Preas},
title = {Incorporating Design Schedule Management into a Flow Management System},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {82--87},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217511},
doi = {10.1145/217474.217511},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/JohnsonB95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/KarkowskiO95,
author = {Ireneusz Karkowski and
Ralph H. J. M. Otten},
editor = {Bryan Preas},
title = {Retiming Synchronous Circuitry with Imprecise Delays},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {322--326},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217549},
doi = {10.1145/217474.217549},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/KarkowskiO95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/KassabMRT95,
author = {Mark Kassab and
Nilanjan Mukherjee and
Janusz Rajski and
Jerzy Tyszer},
editor = {Bryan Preas},
title = {Software Accelerated Functional Fault Simulation for Data-Path Architectures},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {333--338},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217551},
doi = {10.1145/217474.217551},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/KassabMRT95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Kimura95,
author = {Shinji Kimura},
editor = {Bryan Preas},
title = {Residue {BDD} and Its Application to the Verification of Arithmetic
Circuits},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {542--545},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217584},
doi = {10.1145/217474.217584},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/Kimura95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/KnappLMM95,
author = {David Knapp and
Tai Ly and
Don MacMillen and
Ron Miller},
editor = {Bryan Preas},
title = {Behavioral Synthesis Methodology for HDL-Based Specification and Validation},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {286--291},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217543},
doi = {10.1145/217474.217543},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/KnappLMM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/KonukFL95,
author = {Haluk Konuk and
F. Joel Ferguson and
Tracy Larrabee},
editor = {Bryan Preas},
title = {Accurate and Efficient Fault Simulation of Realistic {CMOS} Network
Breaks},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {345--351},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217553},
doi = {10.1145/217474.217553},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/KonukFL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/KrauterGWP95,
author = {Byron Krauter and
Rohini Gupta and
John Willis and
Lawrence T. Pileggi},
editor = {Bryan Preas},
title = {Transmission Line Synthesis},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {358--363},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217555},
doi = {10.1145/217474.217555},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/KrauterGWP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/KriegerBK95,
author = {Rolf Krieger and
Bernd Becker and
Martin Keim},
editor = {Bryan Preas},
title = {Symbolic Fault Simulation for Sequential Circuits and the Multiple
Observation Time Test Strategy},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {339--344},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217552},
doi = {10.1145/217474.217552},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/KriegerBK95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/KruiskampL95,
author = {Wim Kruiskamp and
Domine Leenaerts},
editor = {Bryan Preas},
title = {{DARWIN:} {CMOS} Opamp Synthesis by Means of a Genetic Algorithm},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {433--438},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217566},
doi = {10.1145/217474.217566},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/KruiskampL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/LalgudiP95,
author = {Kumar N. Lalgudi and
Marios C. Papaefthymiou},
editor = {Bryan Preas},
title = {{DELAY:} An Efficient Tool for Retiming with Realistic Delay Modeling},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {304--309},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217546},
doi = {10.1145/217474.217546},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/LalgudiP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/LampaertGS95,
author = {Koen Lampaert and
Georges G. E. Gielen and
Willy M. C. Sansen},
editor = {Bryan Preas},
title = {Direct Performance-Driven Placement of Mismatch-Sensitive Analog Circuits},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {445--449},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217568},
doi = {10.1145/217474.217568},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/LampaertGS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/LavagnoMSS95,
author = {Luciano Lavagno and
Patrick C. McGeer and
Alexander Saldanha and
Alberto L. Sangiovanni{-}Vincentelli},
editor = {Bryan Preas},
title = {Timed Shannon Circuits: {A} Power-Efficient Design Style and Synthesis
Tool},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {254--260},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217538},
doi = {10.1145/217474.217538},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/LavagnoMSS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/LeeT95,
author = {Jin{-}Fuw Lee and
Donald T. Tang},
editor = {Bryan Preas},
title = {An Algorithm for Incremental Timing Analysis},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {696--701},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217613},
doi = {10.1145/217474.217613},
timestamp = {Mon, 06 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dac/LeeT95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/LeeW95,
author = {Yuh{-}Sheng Lee and
Allen C.{-}H. Wu},
editor = {Bryan Preas},
title = {A Performance and Routability Driven Router for FPGAs Considering
Path Delays},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {557--561},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217588},
doi = {10.1145/217474.217588},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/LeeW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/LiM95,
author = {Yau{-}Tsun Steven Li and
Sharad Malik},
editor = {Bryan Preas},
title = {Performance Analysis of Embedded Software Using Implicit Path Enumeration},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {456--461},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217570},
doi = {10.1145/217474.217570},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dac/LiM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/LiaoDKTW95,
author = {Stan Y. Liao and
Srinivas Devadas and
Kurt Keutzer and
Steven W. K. Tjiang and
Albert R. Wang},
editor = {Bryan Preas},
title = {Code Optimization Techniques for Embedded {DSP} Microprocessors},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {599--604},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217596},
doi = {10.1145/217474.217596},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/LiaoDKTW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/LinCCMC95,
author = {Chih{-}Chang Lin and
Kuang{-}Chien Chen and
Shih{-}Chieh Chang and
Malgorzata Marek{-}Sadowska and
Kwang{-}Ting Cheng},
editor = {Bryan Preas},
title = {Logic Synthesis for Engineering Change},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {647--652},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217604},
doi = {10.1145/217474.217604},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/LinCCMC95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/LinJK95,
author = {Bill Lin and
Gjalt G. de Jong and
Tilman Kolks},
editor = {Bryan Preas},
title = {Hierarchical Optimization of Asynchronous Circuits},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {712--717},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217616},
doi = {10.1145/217474.217616},
timestamp = {Mon, 01 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dac/LinJK95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/LiuKCH95,
author = {Lung{-}Tien Liu and
Ming{-}Ter Kuo and
Chung{-}Kuan Cheng and
T. C. Hu},
editor = {Bryan Preas},
title = {Performance-Driven Partitioning Using a Replication Graph Approach},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {206--210},
publisher = {{ACM} Press},
year = {1995},
timestamp = {Thu, 16 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/LiuKCH95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/LiuPD95,
author = {Shihming Liu and
Massoud Pedram and
Alvin M. Despain},
editor = {Bryan Preas},
title = {A Fast State Assignment Procedure for Large FSMs},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {327--332},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217550},
doi = {10.1145/217474.217550},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/LiuPD95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/LyKMM95,
author = {Tai Ly and
David Knapp and
Ron Miller and
Don MacMillen},
editor = {Bryan Preas},
title = {Scheduling Using Behavioral Templates},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {101--106},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217514},
doi = {10.1145/217474.217514},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/LyKMM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/MakW95,
author = {Wai{-}Kei Mak and
D. F. Wong},
editor = {Bryan Preas},
title = {On Optimal Board-Level Routing for FPGA-Based Logic Emulation},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {552--556},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217586},
doi = {10.1145/217474.217586},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dac/MakW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/MalleyD95,
author = {Charles H. Malley and
Max Dieudonn{\'{e}}},
editor = {Bryan Preas},
title = {Logic Verification Methodology for PowerPC Microprocessors},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {234--240},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217535},
doi = {10.1145/217474.217535},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/MalleyD95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/ManciniYB95,
author = {Giovanni Mancini and
Dave Yurach and
Spiros Boucouris},
editor = {Bryan Preas},
title = {A Methodology for {HW-SW} Codesign in {ATM}},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {520--527},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217581},
doi = {10.1145/217474.217581},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/ManciniYB95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/MannePBHSMP95,
author = {Srilatha Manne and
Abelardo Pardo and
R. Iris Bahar and
Gary D. Hachtel and
Fabio Somenzi and
Enrico Macii and
Massimo Poncino},
editor = {Bryan Preas},
title = {Computing the Maximum Power Cycles of a Sequential Circuit},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {23--28},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217501},
doi = {10.1145/217474.217501},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/MannePBHSMP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/MarculescuMP95,
author = {Radu Marculescu and
Diana Marculescu and
Massoud Pedram},
editor = {Bryan Preas},
title = {Efficient Power Estimation for Highly Correlated Input Streams},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {628--634},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217601},
doi = {10.1145/217474.217601},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/MarculescuMP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/MartinK95,
author = {Raul San Martin and
John P. Knight},
editor = {Bryan Preas},
title = {Power-Profiler: Optimizing ASICs Power Consumption at the Behavioral
Level},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {42--47},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217504},
doi = {10.1145/217474.217504},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/MartinK95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/MehrotraFS95,
author = {Sharad Mehrotra and
Paul D. Franzon and
Michael B. Steer},
editor = {Bryan Preas},
title = {Performance Driven Global Routing and Wiring Rule Generation for High
Speed PCBs and MCMs},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {381--387},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217559},
doi = {10.1145/217474.217559},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/MehrotraFS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/MehtaBOI95,
author = {Huzefa Mehta and
Manjit Borah and
Robert Michael Owens and
Mary Jane Irwin},
editor = {Bryan Preas},
title = {Accurate Estimation of Combinational Circuit Activity},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {618--622},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217599},
doi = {10.1145/217474.217599},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/MehtaBOI95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/MeijsG95,
author = {N. P. van der Meijs and
Arjan J. van Genderen},
editor = {Bryan Preas},
title = {Delayed Frontal Solution for Finite-Element Based Resistance Extraction},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {273--278},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217541},
doi = {10.1145/217474.217541},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/MeijsG95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/MenezesPP95,
author = {Noel Menezes and
Satyamurthy Pullela and
Lawrence T. Pileggi},
editor = {Bryan Preas},
title = {Simultaneous Gate and Interconnect Sizing for Circuit-Level Delay
Optimization},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {690--695},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217612},
doi = {10.1145/217474.217612},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/MenezesPP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/MonahanB95,
author = {Chuck Monahan and
Forrest Brewer},
editor = {Bryan Preas},
title = {Symbolic Modeling and Evaluation of Data Paths},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {389--394},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217560},
doi = {10.1145/217474.217560},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/MonahanB95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Najm95,
author = {Farid N. Najm},
editor = {Bryan Preas},
title = {Feedback, Correlation, and Delay Concerns in the Power Estimation
of {VLSI} Circuits},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {612--617},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217598},
doi = {10.1145/217474.217598},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/Najm95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/NajmGH95,
author = {Farid N. Najm and
Shashank Goel and
Ibrahim N. Hajj},
editor = {Bryan Preas},
title = {Power Estimation in Sequential Circuits},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {635--640},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217602},
doi = {10.1145/217474.217602},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/NajmGH95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/NajmZ95,
author = {Farid N. Najm and
Michael Y. Zhang},
editor = {Bryan Preas},
title = {Extreme Delay Sensitivity and the Worst-Case Switching Activity in
{VLSI} Circuits},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {623--627},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217600},
doi = {10.1145/217474.217600},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/NajmZ95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/NakamuraY95,
author = {Yuichi Nakamura and
Takeshi Yoshimura},
editor = {Bryan Preas},
title = {A Partitioning-Based Logic Optimization Method for Large Scale Circuits
with Boolean Matrix},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {653--657},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217605},
doi = {10.1145/217474.217605},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/NakamuraY95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/NarayanG95,
author = {Sanjiv Narayan and
Daniel Gajski},
editor = {Bryan Preas},
title = {Interfacing Incompatible Protocols Using Interface Process Generation},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {468--473},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217572},
doi = {10.1145/217474.217572},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/NarayanG95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/PanL95,
author = {Peichen Pan and
C. L. Liu},
editor = {Bryan Preas},
title = {Partial Scan with Pre-selected Scan Signals},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {189--194},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217528},
doi = {10.1145/217474.217528},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/PanL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/ParulkarGB95,
author = {Ishwar Parulkar and
Sandeep K. Gupta and
Melvin A. Breuer},
editor = {Bryan Preas},
title = {Data Path Allocation for Synthesizing {RTL} Designs with Low {BIST}
Area Overhead},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {395--401},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217561},
doi = {10.1145/217474.217561},
timestamp = {Thu, 21 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dac/ParulkarGB95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/PomeranzR95,
author = {Irith Pomeranz and
Sudhakar M. Reddy},
editor = {Bryan Preas},
title = {On Synthesis-for-Testability of Combinational Logic Circuits},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {126--132},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217518},
doi = {10.1145/217474.217518},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/PomeranzR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/PotkonjakS95,
author = {Miodrag Potkonjak and
Mani B. Srivastava},
editor = {Bryan Preas},
title = {Rephasing: {A} Transformation Technique for the Manipulation of Timing
Constraints},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {107--112},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217515},
doi = {10.1145/217474.217515},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/PotkonjakS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Rao95,
author = {Vasant B. Rao},
editor = {Bryan Preas},
title = {Delay Analysis of the Distributed {RC} Line},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {370--375},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217557},
doi = {10.1145/217474.217557},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/Rao95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/ReddyKP95,
author = {Subodh M. Reddy and
Wolfgang Kunz and
Dhiraj K. Pradhan},
editor = {Bryan Preas},
title = {Novel Verification Framework Combining Structural and {OBDD} Methods
in a Synthesis Environment},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {414--419},
publisher = {{ACM} Press},
year = {1995},
timestamp = {Thu, 16 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/ReddyKP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/RekhiTL95,
author = {Sanjay Rekhi and
J. Donald Trotter and
Daniel H. Linder},
editor = {Bryan Preas},
title = {Automatic Layout Synthesis of Leaf Cells},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {267--272},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217540},
doi = {10.1145/217474.217540},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/RekhiTL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Ribas-XirgoC95,
author = {Llu{\'{\i}}s Ribas and
Jordi Carrabina},
editor = {Bryan Preas},
title = {Analysis of Switch-Level Faults by Symbolic Simulation},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {352--357},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217554},
doi = {10.1145/217474.217554},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/Ribas-XirgoC95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/RohfleischWA95,
author = {Bernhard Rohfleisch and
Bernd Wurth and
Kurt Antreich},
editor = {Bryan Preas},
title = {Logic Clause Analysis for Delay Optimization},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {668--672},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217608},
doi = {10.1145/217474.217608},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/RohfleischWA95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/RudnickP95,
author = {Elizabeth M. Rudnick and
Janak H. Patel},
editor = {Bryan Preas},
title = {Combining Deterministic and Genetic Approaches for Sequential Circuit
Test Generation},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {183--188},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217527},
doi = {10.1145/217474.217527},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/RudnickP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/SawasakiYL95,
author = {Milton H. Sawasaki and
Chantal Ykman{-}Couvreur and
Bill Lin},
editor = {Bryan Preas},
title = {Externally Hazard-Free Implementations of Asynchronous Circuits},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {718--724},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217617},
doi = {10.1145/217474.217617},
timestamp = {Mon, 01 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dac/SawasakiYL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/SawkarT95,
author = {Prashant Sawkar and
Donald E. Thomas},
editor = {Bryan Preas},
title = {Multi-way Partitioning for Minimum Delay for Look-Up Table Based FPGAs},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {201--205},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217530},
doi = {10.1145/217474.217530},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/SawkarT95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/ShenHC95,
author = {Wen{-}Zen Shen and
Juinn{-}Dar Huang and
Shih{-}Min Chao},
editor = {Bryan Preas},
title = {Lambda Set Selection in Roth-Karp Decomposition for LUT-Based {FPGA}
Technology Mapping},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {65--69},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217508},
doi = {10.1145/217474.217508},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/ShenHC95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/SilburtPBNDW95,
author = {Allan Silburt and
Ian Perryman and
Janick Bergeron and
Stacy Nichols and
Mario Dufresne and
Greg Ward},
editor = {Bryan Preas},
title = {Accelerating Concurrent Hardware Design with Behavioural Modelling
and System Simulation},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {528--533},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217582},
doi = {10.1145/217474.217582},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/SilburtPBNDW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/SilvaK95,
author = {M{\'{a}}rio J. Silva and
Randy H. Katz},
editor = {Bryan Preas},
title = {The Case for Design Using the World Wide Web},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {579--585},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217593},
doi = {10.1145/217474.217593},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/SilvaK95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/SilveiraKW95,
author = {Lu{\'{\i}}s Miguel Silveira and
Mattan Kamon and
Jacob White},
editor = {Bryan Preas},
title = {Efficient Reduced-Order Modeling of Frequency-Dependent Coupling Inductances
Associated with 3-D Interconnect Structures},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {376--380},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217558},
doi = {10.1145/217474.217558},
timestamp = {Sat, 29 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dac/SilveiraKW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/SinghalPRB95,
author = {Vigyan Singhal and
Carl Pixley and
Richard L. Rudell and
Robert K. Brayton},
editor = {Bryan Preas},
title = {The Validity of Retiming Sequential Circuits},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {316--321},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217548},
doi = {10.1145/217474.217548},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/SinghalPRB95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/SmailagicSAKMS95,
author = {Asim Smailagic and
Daniel P. Siewiorek and
Drew Anderson and
Chris Kasabach and
Thomas L. Martin and
John Stivoric},
editor = {Bryan Preas},
title = {Benchmarking An Interdisciplinary Concurrent Design Methodology for
Electronic/Mechanical Systems},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {514--519},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217580},
doi = {10.1145/217474.217580},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/SmailagicSAKMS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/SparmannLCR95,
author = {Uwe Sparmann and
D. Luxenburger and
Kwang{-}Ting Cheng and
Sudhakar M. Reddy},
editor = {Bryan Preas},
title = {Fast Identification of Robust Dependent Path Delay Faults},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {119--125},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217517},
doi = {10.1145/217474.217517},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/SparmannLCR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/StanionS95,
author = {Ted Stanion and
Carl Sechen},
editor = {Bryan Preas},
title = {A Method for Finding Good Ashenhurst Decompositions and Its Application
to {FPGA} Synthesis},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {60--64},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217507},
doi = {10.1145/217474.217507},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/StanionS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/StollonP95,
author = {Neal S. Stollon and
John D. Provence},
editor = {Bryan Preas},
title = {Measures of Syntactic Complexity for Modeling Behavioral {VHDL}},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {684--689},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217611},
doi = {10.1145/217474.217611},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/StollonP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/SwartzS95,
author = {William Swartz and
Carl Sechen},
editor = {Bryan Preas},
title = {Timing Driven Placement for Large Standard Cell Circuits},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {211--215},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217531},
doi = {10.1145/217474.217531},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/SwartzS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/TelicheveskyKW95,
author = {Ricardo Telichevesky and
Kenneth S. Kundert and
Jacob White},
editor = {Bryan Preas},
title = {Efficient Steady-State Analysis Based on Matrix-Free Krylov-Subspace
Methods},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {480--484},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217574},
doi = {10.1145/217474.217574},
timestamp = {Sat, 29 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dac/TelicheveskyKW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/TimmerSMJ95,
author = {Adwin H. Timmer and
Marino T. J. Strik and
Jef L. van Meerbergen and
Jochen A. G. Jess},
editor = {Bryan Preas},
title = {Conflict Modelling and Instruction Scheduling in Code Generation for
In-House {DSP} Cores},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {593--598},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217595},
doi = {10.1145/217474.217595},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/TimmerSMJ95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/TremblayMIK95,
author = {Marc Tremblay and
Guillermo Maturana and
Atsushi Inoue and
Leslie Kohn},
editor = {Bryan Preas},
title = {A Fast and Flexible Performance Simulator for Micro-Architecture Trade-off
Analysis on UltraSPARC-I},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {2--6},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217479},
doi = {10.1145/217474.217479},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/TremblayMIK95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Trimberger95,
author = {Steven Trimberger},
editor = {Bryan Preas},
title = {Effects of {FPGA} Architecture on {FPGA} Routing},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {574--578},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217592},
doi = {10.1145/217474.217592},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/Trimberger95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/VaishnavP95,
author = {Hirendu Vaishnav and
Massoud Pedram},
editor = {Bryan Preas},
title = {Minimizing the Routing Cost During Logic Extraction},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {70--75},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217509},
doi = {10.1145/217474.217509},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/VaishnavP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/VanbekbergenWK95,
author = {Peter Vanbekbergen and
Albert R. Wang and
Kurt Keutzer},
editor = {Bryan Preas},
title = {A Design and Validation System for Asynchronous Circuits},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {725--730},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217618},
doi = {10.1145/217474.217618},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/VanbekbergenWK95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/VenkataramanHFRCP95,
author = {Srikanth Venkataraman and
Ismed Hartanto and
W. Kent Fuchs and
Elizabeth M. Rudnick and
Sreejit Chakravarty and
Janak H. Patel},
editor = {Bryan Preas},
title = {Rapid Diagnostic Fault Simulation of Stuck-at Faults in Sequential
Circuits Using Compact Lists},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {133--138},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217519},
doi = {10.1145/217474.217519},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/VenkataramanHFRCP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/VinnakotaHS95,
author = {Bapiraju Vinnakota and
Ramesh Harjani and
Nicholas J. Stessman},
editor = {Bryan Preas},
title = {System-Level Design for Test of Fully Differential Analog Circuits},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {450--454},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217569},
doi = {10.1145/217474.217569},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/VinnakotaHS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/VittalM95,
author = {Ashok Vittal and
Malgorzata Marek{-}Sadowska},
editor = {Bryan Preas},
title = {Power Optimal Buffered Clock Tree Design},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {497--502},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217577},
doi = {10.1145/217474.217577},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/VittalM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/VittalM95a,
author = {Ashok Vittal and
Malgorzata Marek{-}Sadowska},
editor = {Bryan Preas},
title = {Power Distribution Topology Design},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {503--507},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217578},
doi = {10.1145/217474.217578},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/VittalM95a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/WalkerG95,
author = {Peter A. Walker and
Sumit Ghosh},
editor = {Bryan Preas},
title = {Asynchronous, Distributed Event Driven Simulation Algorithm for Execution
of {VHDL} on Parallel Processors},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {144--150},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217521},
doi = {10.1145/217474.217521},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/WalkerG95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/WangH95,
author = {Kuo{-}Hua Wang and
TingTing Hwang},
editor = {Bryan Preas},
title = {Boolean Matching for Incompletely Specified Functions},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {48--53},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217505},
doi = {10.1145/217474.217505},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/WangH95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/WempleY95,
author = {Ivan L. Wemple and
Andrew T. Yang},
editor = {Bryan Preas},
title = {Mixed-Signal Switching Noise Analysis Using Voronoi-Tessellated Substrate
Macromodels},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {439--444},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217567},
doi = {10.1145/217474.217567},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/WempleY95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/WuL95,
author = {Tsung{-}Yi Wu and
Youn{-}Long Lin},
editor = {Bryan Preas},
title = {Register Minimization beyond Sharing among Variables},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {164--169},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217524},
doi = {10.1145/217474.217524},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/WuL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/WuM95,
author = {Yu{-}Liang Wu and
Malgorzata Marek{-}Sadowska},
editor = {Bryan Preas},
title = {Orthogonal Greedy Coupling - {A} New Optimization Approach to 2-D
{FPGA} Routing},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {568--573},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217591},
doi = {10.1145/217474.217591},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/WuM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/WurthEA95,
author = {Bernd Wurth and
Klaus Eckl and
Kurt Antreich},
editor = {Bryan Preas},
title = {Functional Multiple-Output Decomposition: Theory and an Implicit Algorithm},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {54--59},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217506},
doi = {10.1145/217474.217506},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/WurthEA95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/XiD95,
author = {Joe G. Xi and
Wayne Wei{-}Ming Dai},
editor = {Bryan Preas},
title = {Buffer Insertion and Sizing Under Process Variations for Low Power
Clock Distribution},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {491--496},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217576},
doi = {10.1145/217474.217576},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/XiD95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/YangGMJL95,
author = {Lawrence Yang and
David Gao and
Jamshid Mostoufi and
Raju Joshi and
Paul Loewenstein},
editor = {Bryan Preas},
title = {System Design Methodology of UltraSPARC-I},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {7--12},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217481},
doi = {10.1145/217474.217481},
timestamp = {Thu, 21 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/YangGMJL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/YuguchiNWF95,
author = {Masayuki Yuguchi and
Yuichi Nakamura and
Kazutoshi Wakabayashi and
Tomoyuki Fujita},
editor = {Bryan Preas},
title = {Multi-Level Logic Minimization Based on Multi-Signal Implications},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {658--662},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217606},
doi = {10.1145/217474.217606},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/YuguchiNWF95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/ZepterGM95,
author = {Peter Zepter and
Thorsten Gr{\"{o}}tker and
Heinrich Meyr},
editor = {Bryan Preas},
title = {Digital Receiver Design Using {VHDL} Generation from Data Flow Graphs},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {228--233},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217534},
doi = {10.1145/217474.217534},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/ZepterGM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/ZhouB95,
author = {Zheng Zhou and
Wayne P. Burleson},
editor = {Bryan Preas},
title = {Equivalence Checking of Datapaths Based on Canonical Arithmetic Expressions},
booktitle = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
pages = {546--551},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/217474.217585},
doi = {10.1145/217474.217585},
timestamp = {Mon, 06 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dac/ZhouB95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dac/1995,
editor = {Bryan Preas},
title = {Proceedings of the 32st Conference on Design Automation, San Francisco,
California, USA, Moscone Center, June 12-16, 1995},
publisher = {{ACM} Press},
year = {1995},
url = {http://dl.acm.org/citation.cfm?id=217474},
isbn = {0-89791-725-1},
timestamp = {Wed, 30 Nov 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/1995.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-04-19 22:19 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
