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/dac1982.bht:"
download as .bib file
@inproceedings{DBLP:conf/dac/AbramoviciLM82,
author = {Miron Abramovici and
Ytzhak H. Levendel and
Prem R. Menon},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {A logic simulation machine},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {65--73},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809188},
doi = {10.1145/800263.809188},
timestamp = {Wed, 11 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/AbramoviciLM82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/AdachiKNS82,
author = {Tohru Adachi and
Hitoshi Kitazawa and
Mitsuyoshi Nagatani and
Tsuneta Sudo},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {Hierarchical top-down layout design method for {VLSI} chip},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {785--791},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809291},
doi = {10.1145/800263.809291},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/AdachiKNS82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Adshead82,
author = {H. G. Adshead},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {Towards {VLSI} complexity: The {DA} algorithm scaling problem: can
special {DA} hardware help?},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {339--344},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809227},
doi = {10.1145/800263.809227},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/Adshead82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Agrawal82,
author = {Vishwani D. Agrawal},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {Synchronous path analysis in {MOS} circuit simulator},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {629--635},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809268},
doi = {10.1145/800263.809268},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/Agrawal82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/AllenET82,
author = {R. W. Allen and
M. M. Ervin{-}Willis and
Rodham E. Tulloss},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {{DORA:} : {CAD} interface to automatic diagnostics},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {559--565},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809259},
doi = {10.1145/800263.809259},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/AllenET82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/ArbabLM82,
author = {Farhad Arbab and
Larry Lichten and
Michel A. Melkanoff},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {Toward CAM-oriented {CAD}},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {239--245},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809213},
doi = {10.1145/800263.809213},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/ArbabLM82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/ArnoldO82,
author = {Michael H. Arnold and
John K. Ousterhout},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {Lyra: {A} new approach to geometric layout rule checking},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {530--536},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809255},
doi = {10.1145/800263.809255},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/ArnoldO82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Asano82,
author = {Tetsuo Asano},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {Parametric pattern router},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {411--417},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809238},
doi = {10.1145/800263.809238},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/Asano82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/BassetS82,
author = {Philippe Basset and
Gabriele Saucier},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {Top down design and testability of {VLSI} circuits},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {851--857},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809299},
doi = {10.1145/800263.809299},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/BassetS82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/BellonLSSVGI82,
author = {Catherine Bellon and
A. Liothin and
Sylvain Sadier and
Gabriele Saucier and
Raoul Velazco and
Francois Grillot and
M. Issenman},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {Automatic generation of microprocessor test programs},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {566--573},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809260},
doi = {10.1145/800263.809260},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/BellonLSSVGI82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/BeningLAS82,
author = {Lionel Bening and
Thomas A. Lane and
Curtis R. Alexander and
James E. Smith},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {Developments in logic network path delay analysis},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {605--615},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809265},
doi = {10.1145/800263.809265},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/BeningLAS82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Bennett82,
author = {Jack Bennett},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {A database management system for design engineers},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {268--273},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809217},
doi = {10.1145/800263.809217},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/Bennett82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/BeylsHLMP82,
author = {A. M. Beyls and
B. Hennion and
Jacques Lecourvoisier and
Guy Mazar{\'{e}} and
Alain Puissochet},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {A design methodology based upon symbolic layout and integrated cad
tools},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {872--878},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809302},
doi = {10.1145/800263.809302},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/BeylsHLMP82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/BoseA82,
author = {Pradip Bose and
Jacob A. Abraham},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {Test generation for programmable logic arrays},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {574--580},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809261},
doi = {10.1145/800263.809261},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/BoseA82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/BoseKLNPW82,
author = {Ajoy K. Bose and
Patrick Kozak and
Chi{-}Yuan Lo and
Hao N. Nham and
Ernesto Pacas{-}Skewes and
Kwok W. Wu},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {A fault simulator for {MOS} {LSI} circuits},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {400--409},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809236},
doi = {10.1145/800263.809236},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/BoseKLNPW82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Breuer82,
author = {Melvin A. Breuer},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {A survey of the state-of-the-art of design automation an invited presentation},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {1},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809176},
doi = {10.1145/800263.809176},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/Breuer82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Bruggere82,
author = {T. H. Bruggere},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {Special purpose vs. general purpose hardware for da},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {338},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809226},
doi = {10.1145/800263.809226},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/Bruggere82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/ChandrasekharB82,
author = {Mandalagiri S. Chandrasekhar and
Melvin A. Breuer},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {Optimum placement of two rectangular blocks},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {879--886},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809303},
doi = {10.1145/800263.809303},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/ChandrasekharB82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Chu82,
author = {Yaohan Chu},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {Computer system design description},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {842--850},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809298},
doi = {10.1145/800263.809298},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/Chu82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/ChuquillanquiS82,
author = {Samuel Chuquillanqui and
Tom{\'{a}}s P{\'{e}}rez Segovia},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {{PAOLA:} {A} tool for topological optimization of large {PLAS}},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {300--306},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809221},
doi = {10.1145/800263.809221},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/ChuquillanquiS82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/CiesielskiK82,
author = {Maciej J. Ciesielski and
Edwin Kinnen},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {An analytical method for compacting routing area in integrated circuits},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {30--37},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809182},
doi = {10.1145/800263.809182},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/CiesielskiK82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Collins82,
author = {Clive A. Collins},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {{IBM} 3081 system overview and technology},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {75--82},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809190},
doi = {10.1145/800263.809190},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/Collins82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/CosmaiCMN82,
author = {G. Cosmai and
Umberto Cugini and
Piero Mussio and
Amri Napolitano},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {An interactive drafting system based on two dimensional primitives},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {521--529},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809254},
doi = {10.1145/800263.809254},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/CosmaiCMN82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/DammGK82,
author = {Erik Damm and
H. Geth{\"{o}}ffer and
K. Kaiser},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {Hardware support for automatic routing},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {219--223},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809210},
doi = {10.1145/800263.809210},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/DammGK82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/DeesK82,
author = {William A. Dees Jr. and
Patrick G. Karger},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {Automated rip-up and reroute techniques},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {432--439},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809241},
doi = {10.1145/800263.809241},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/DeesK82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Denneau82,
author = {Monty Denneau},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {The Yorktown Simulation Engine},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {55--59},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809186},
doi = {10.1145/800263.809186},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/Denneau82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/DesMaraisSW82,
author = {P. J. DesMarais and
E. S. Y. Shew and
Philip S. Wilcox},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {A functional level modelling language for digital simulation},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {315--320},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809223},
doi = {10.1145/800263.809223},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/DesMaraisSW82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/DonzeSJS82,
author = {Richard L. Donze and
Jacob Sanders and
Michael Jenkins and
George Sporzynski},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {Philo-a {VLSI} design system},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {163--169},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809202},
doi = {10.1145/800263.809202},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/DonzeSJS82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/EganL82,
author = {Jack R. Egan and
C. L. Liu},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {Optimal bipartite folding of {PLA}},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {141--146},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809199},
doi = {10.1145/800263.809199},
timestamp = {Mon, 22 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/EganL82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/EustaceM82,
author = {R. Alan Eustace and
Amar Mukhopadhyay},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {A Deterministic finite automaton approach to design rule checking
for {VLSI}},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {712--717},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809280},
doi = {10.1145/800263.809280},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/EustaceM82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/FiducciaM82,
author = {Charles M. Fiduccia and
Robert M. Mattheyses},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {A linear-time heuristic for improving network partitions},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {175--181},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809204},
doi = {10.1145/800263.809204},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/FiducciaM82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/FreundG82,
author = {Vincent J. Freund Jr. and
J. A. Guerin},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {Automated conversion of design data for building the {IBM} 3081},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {96--103},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809193},
doi = {10.1145/800263.809193},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/FreundG82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/FriendensonBT82,
author = {Robert Alan Friedenson and
J. R. Breiland and
T. J. Thompson},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {Designer's Workbench: Delivery of cad tools},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {15--22},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809180},
doi = {10.1145/800263.809180},
timestamp = {Fri, 26 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/FriendensonBT82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Gelman82,
author = {Stacey J. Gelman},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {{VEEP} {A} VEctor Editor and Preparer},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {771--776},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809289},
doi = {10.1145/800263.809289},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/Gelman82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/GingerichCCL82,
author = {Jeffrey Z. Gingerich and
Michael P. Carroll and
E. J. Chelius and
Po{-}Kuan Lu},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {A hybrid {CAD/CAM} system for mechanical applications},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {643--649},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809270},
doi = {10.1145/800263.809270},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/GingerichCCL82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Glass82,
author = {Gregory John Glass},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {A user interface for architectural design, a case study},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {508--513},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809252},
doi = {10.1145/800263.809252},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/Glass82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/GoelM82,
author = {Prabhakar Goel and
M. T. McMahon},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {Electronic Chip-in-Place Test},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {482--488},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809248},
doi = {10.1145/800263.809248},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/GoelM82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/GoelM82a,
author = {Deepak K. Goel and
Robert M. McDermott},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {An interactive testability analysis program - {ITTAP}},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {581--586},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809262},
doi = {10.1145/800263.809262},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/GoelM82a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Grabel82,
author = {David Grabel},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {Object data structures towards distributed graphics processing},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {358--364},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809230},
doi = {10.1145/800263.809230},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/Grabel82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Grass82,
author = {Werner Grass},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {A depth-first branch-and-bound algorithm for optimal {PLA} folding},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {133--140},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809198},
doi = {10.1145/800263.809198},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/Grass82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/GrayBR82,
author = {John P. Gray and
Irene Buchanan and
Peter Salkeld Robertson},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {Designing gate arrays using a silicon compiler},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {377--383},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809233},
doi = {10.1145/800263.809233},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/GrayBR82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/HachtelNS82,
author = {Gary D. Hachtel and
A. Richard Newton and
Alberto L. Sangiovanni{-}Vincentelli},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {Techniques for programmable logic array folding},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {147--155},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809200},
doi = {10.1145/800263.809200},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/HachtelNS82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Hassett82,
author = {James E. Hassett},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {Automated layout in {ASHLAR:} An approach to the problems of "General
Cell" layout for {VLSI}},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {777--784},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809290},
doi = {10.1145/800263.809290},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/Hassett82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Hayes82,
author = {John P. Hayes},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {A fault simulation methodology for {VLSI}},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {393--399},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809235},
doi = {10.1145/800263.809235},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/Hayes82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/HellerSM82,
author = {William R. Heller and
Gregory B. Sorkin and
Klim Maling},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {The planar package planner for system designers},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {253--260},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809215},
doi = {10.1145/800263.809215},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/HellerSM82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Heyns82,
author = {Walter Heyns},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {The 1-2-3 routing algorithm or the single channel 2-step router on
3 interconnection layers},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {113--120},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809195},
doi = {10.1145/800263.809195},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/Heyns82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/HirakawaSM82,
author = {Kazuyuki Hirakawa and
Noboru Shiraki and
Michiaki Muraoka},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {Logic simulation for {LSI}},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {755--761},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809286},
doi = {10.1145/800263.809286},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/HirakawaSM82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/HongYL82,
author = {Xian{-}Long Hong and
Ren{-}kung Yin and
Xi{-}ling Liu},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {QCADS-a {LSI} {CAD} system for minicomputer},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {706--711},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809279},
doi = {10.1145/800263.809279},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/HongYL82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Hsu82,
author = {Chi{-}Ping Hsu},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {A new two-dimensional routing algorithm},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {46--50},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809184},
doi = {10.1145/800263.809184},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/Hsu82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/InoueAF82,
author = {Kazuyuki Inoue and
Masahiko Adachi and
Toru Funayama},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {A layout system for high precision design of progressive die},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {246--252},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809214},
doi = {10.1145/800263.809214},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/InoueAF82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Kalay82,
author = {Yehuda E. Kalay},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {Modeling polyhedral solids bounded by multi-curved parametric surfaces},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {501--507},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809251},
doi = {10.1145/800263.809251},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/Kalay82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/KambeCKION82,
author = {Takashi Kambe and
Toru Chiba and
Seiji Kimura and
Tsuneo Inufushi and
Noboru Okuda and
Ikuo Nishioka},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {A placement algorithm for polycell {LSI} and {ITS} evaluation},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {655--662},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809272},
doi = {10.1145/800263.809272},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/KambeCKION82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/KangKL82,
author = {Sung{-}Mo Kang and
Robert H. Krambeck and
Hung{-}Fai Stephen Law},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {Gate matrix layout of random control logic in a 32-bit {CMOS} {CPU}
chip adaptable to evolving logic design},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {170--174},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809203},
doi = {10.1145/800263.809203},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/KangKL82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Kaplan82,
author = {David Kaplan},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {A "non-restrictive" artwork verification program for printed circuit
boards},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {551--558},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809258},
doi = {10.1145/800263.809258},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/Kaplan82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Katz82,
author = {Randy H. Katz},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {A database approach for managing {VLSI} design data},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {274--282},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809218},
doi = {10.1145/800263.809218},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/Katz82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/KawatoUHS82,
author = {Nobuaki Kawato and
Takao Uehara and
Sadaki Hirose and
Takao Saito},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {An interactive logic synthesis system based upon {AI} techniques},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {858--864},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809300},
doi = {10.1145/800263.809300},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/KawatoUHS82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Kedem82,
author = {Gershon Kedem},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {The quad-CIF tree: {A} data structure for hierarchical on-line algorithms},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {352--357},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809229},
doi = {10.1145/800263.809229},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/Kedem82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/KellerNE82,
author = {Kenneth H. Keller and
A. Richard Newton and
S. Ellis},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {A symbolic design system for integrated circuits},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {460--466},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809245},
doi = {10.1145/800263.809245},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/KellerNE82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Korn82,
author = {Robert K. Korn},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {An efficient variable-cost maze router},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {425--431},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809240},
doi = {10.1145/800263.809240},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/Korn82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/KronstadtP82,
author = {E. Kronstadt and
Gregory F. Pfister},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {Software support for the Yorktown Simulation Engine},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {60--64},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809187},
doi = {10.1145/800263.809187},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/KronstadtP82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/LarsenLS82,
author = {Robert P. Larsen and
James Allen Luisi and
A. K. Singh},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {Aw expanded logic equation list for checkout},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {291--299},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809220},
doi = {10.1145/800263.809220},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/LarsenLS82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Leinwand82,
author = {Sany M. Leinwand},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {Logical correctness by construction},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {825--831},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809296},
doi = {10.1145/800263.809296},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/Leinwand82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/LelarasmeeS82,
author = {Ekachai Lelarasmee and
Alberto L. Sangiovanni{-}Vincentelli},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {Relax: {A} new circuit for large scale {MOS} integrated circuits},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {682--687},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809276},
doi = {10.1145/800263.809276},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/LelarasmeeS82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Levy82,
author = {Saul Yermie Levy},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {Distributed computation for design aids},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {909--915},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809307},
doi = {10.1145/800263.809307},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/Levy82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/LieH82,
author = {Margaret Lie and
Chi{-}Song Horng},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {A bus router for {IC} layout},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {129--132},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809197},
doi = {10.1145/800263.809197},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/LieH82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/LightnerH82,
author = {Michael R. Lightner and
Gary D. Hachtel},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {Implication algorithms for {MOS} switch level functional macromodeling
implication and testing},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {691--698},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809277},
doi = {10.1145/800263.809277},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/LightnerH82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/LiptonN82,
author = {Richard J. Lipton and
J. Daniel Nash},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {Design automation algorithms: Research and applications},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {410},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809237},
doi = {10.1145/800263.809237},
timestamp = {Thu, 12 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dac/LiptonN82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/LiptonNSVV82,
author = {Richard J. Lipton and
Stephen C. North and
Robert Sedgewick and
Jacobo Valdes and
Gopalakrishnan Vijayan},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {{ALI:} {A} procedural language to describe {VLSI} layouts},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {467--474},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809246},
doi = {10.1145/800263.809246},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/LiptonNSVV82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/LiuE82,
author = {Clive K. Liu and
Charles M. Eastman},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {Design of a graphic processor for computer-aided drafting},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {514--520},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809253},
doi = {10.1145/800263.809253},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/LiuE82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/LuhukayK82,
author = {Joseph F. P. Luhukay and
William J. Kubitz},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {A layout synthesis system for {NMOS} gate-cells},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {307--314},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809222},
doi = {10.1145/800263.809222},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/LuhukayK82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/MaisselO82,
author = {Leon I. Maissel and
Daniel L. Ostapko},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {Interactive design language: {A} unified approach to hardware simulation,
synthesis and documentation},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {193--201},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809206},
doi = {10.1145/800263.809206},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/MaisselO82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/MalingMH82,
author = {Klim Maling and
Steven H. Mueller and
William R. Heller},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {On finding most optimal rectangular package plans},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {663--670},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809273},
doi = {10.1145/800263.809273},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/MalingMH82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Marcotte82,
author = {Harold R. Marcotte},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {Robotics: The new automation tool},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {2--8},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809177},
doi = {10.1145/800263.809177},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/Marcotte82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/MaruyamaUKS82,
author = {Fumihiro Maruyama and
Takao Uehara and
Nobuaki Kawato and
Takao Saito},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {A verification technique for hardware designs},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {832--841},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809297},
doi = {10.1145/800263.809297},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/MaruyamaUKS82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/MatsudaFTMNKG82,
author = {Tsuneo Matsuda and
Tomyyuki Fujita and
K. Takamizawa and
H. Mizumura and
H. Nakamura and
F. Kitajima and
Satoshi Goto},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {{LAMBDA:} {A} quick, low cost layout design system for master-slice
{LSI} s},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {802--808},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809293},
doi = {10.1145/800263.809293},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/MatsudaFTMNKG82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/McCluskey82,
author = {Edward J. McCluskey},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {Verification testing},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {495--500},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809250},
doi = {10.1145/800263.809250},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/McCluskey82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/McDermott82,
author = {Robert M. McDermott},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {Transmission gate modeling in an existing three-value simulator},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {678--681},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809275},
doi = {10.1145/800263.809275},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/McDermott82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/MinS82,
author = {Yinghua Min and
Stephen Y. H. Su},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {Testing functional faults in {VLSI}},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {384--392},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809234},
doi = {10.1145/800263.809234},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/MinS82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Monachino82,
author = {Michael Monachino},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {Design verification system for large-scale {LSI} designs},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {83--90},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809191},
doi = {10.1145/800263.809191},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/Monachino82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/MudgeRLA82,
author = {Trevor N. Mudge and
Rob A. Rutenbar and
Robert M. Lougheed and
Daniel E. Atkins},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {Cellular image processing techniques for {VLSI} circuit layout validation
and routing},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {537--543},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809256},
doi = {10.1145/800263.809256},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/MudgeRLA82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/MuellerV82,
author = {Robert A. Mueller and
Joseph Varghese},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {Formal semantics for the automated derivation of micro-code},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {815--824},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809295},
doi = {10.1145/800263.809295},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/MuellerV82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/NairHLV82,
author = {Ravi Nair and
Se June Hong and
Sandy Liles and
Ray Villani},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {Global wiring on a wire routing machine},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {224--231},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809211},
doi = {10.1145/800263.809211},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/NairHLV82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Nash82,
author = {J. Daniel Nash},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {{VLSI} design methodology workshop},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {762},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809287},
doi = {10.1145/800263.809287},
timestamp = {Thu, 12 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dac/Nash82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/NestorT82,
author = {John A. Nestor and
Donald E. Thomas},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {Defining and implementing a multilevel design representation with
simulation applications},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {740--746},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809284},
doi = {10.1145/800263.809284},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/NestorT82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/NomuraSTAY82,
author = {Minoru Nomura and
Shinichi Sato and
Nobuo Takano and
Toshinori Aoyama and
Akihiko Yamada},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {Timing verification system based on delay time hierarchical nature},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {622--628},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809267},
doi = {10.1145/800263.809267},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/NomuraSTAY82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/NoonRR82,
author = {William A. Noon and
Ken N. Robbins and
M. Ted Roberts},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {A design system approach to data integrity},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {699--705},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809278},
doi = {10.1145/800263.809278},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/NoonRR82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/ONeill82,
author = {Lawrence A. O'Neill},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {A retrospective on software engineering in design automation},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {10--14},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809179},
doi = {10.1145/800263.809179},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/ONeill82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/OdawaraIK82,
author = {Gotaro Odawara and
Kazuhiko Iijima and
Tetsuro Kiyomatsu},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {Arbitrarily-sized module location technique in the lop system},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {718--726},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809281},
doi = {10.1145/800263.809281},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/OdawaraIK82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Otten82,
author = {Ralph H. J. M. Otten},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {Automatic floorplan design},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {261--267},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809216},
doi = {10.1145/800263.809216},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/Otten82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/OusterhoutU82,
author = {John K. Ousterhout and
David M. Ungar},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {Measurements of a {VLSI} design},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {903--908},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809306},
doi = {10.1145/800263.809306},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/OusterhoutU82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Pawlak82,
author = {Adam Pawlak},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {Digital logic modeling system based on {MODLAN}},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {763--770},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809288},
doi = {10.1145/800263.809288},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/Pawlak82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/PayneC82,
author = {Thomas S. Payne and
William M. van Cleemput},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {Automated partitioning of hierarchically specified digital systems},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {182--192},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809205},
doi = {10.1145/800263.809205},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/PayneC82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Peled82,
author = {Joseph Peled},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {Simplified data structure for "mini-based" turnkey {CAD} systems},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {636--642},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809269},
doi = {10.1145/800263.809269},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/Peled82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Pfister82,
author = {Gregory F. Pfister},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {The Yorktown Simulation Engine: Introduction},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {51--54},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809185},
doi = {10.1145/800263.809185},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/Pfister82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/PilotyB82,
author = {Robert Piloty and
Dominique Borrione},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {The conlan project: Status and future plans},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {202--212},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809207},
doi = {10.1145/800263.809207},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/PilotyB82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Pinter82,
author = {Ron Y. Pinter},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {On routing two-point nets across a channel},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {894--902},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809305},
doi = {10.1145/800263.809305},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/Pinter82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/PitchumaniS82,
author = {Vijay Pitchumani and
Edward P. Stabler},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {A formal method for computer design verification},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {809--814},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809294},
doi = {10.1145/800263.809294},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/PitchumaniS82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Prasad82,
author = {Hriday R. Prasad},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {Workshop - industrial robotics},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {74},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809189},
doi = {10.1145/800263.809189},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/Prasad82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Price82,
author = {Lynne A. Price},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {Design of command menus for {CAD} systems},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {453--459},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809244},
doi = {10.1145/800263.809244},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/Price82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Putatunda82,
author = {Rathin Putatunda},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {Auto-delay: {A} program for automatic calculation of delay in {LSI/VLSI}
chips},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {616--621},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809266},
doi = {10.1145/800263.809266},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/Putatunda82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/RaghavanS82,
author = {Raghunath Raghavan and
Sartaj Sahni},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {Optimal single row router},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {38--45},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809183},
doi = {10.1145/800263.809183},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/RaghavanS82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Rawlings82,
author = {James B. Rawlings},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {{VHSIC} {HDL}},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {213},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809208},
doi = {10.1145/800263.809208},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/Rawlings82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Richardson82,
author = {Fontaine Richardson},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {Important criteria in selecting engineering work stations},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {440--444},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809242},
doi = {10.1145/800263.809242},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/Richardson82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Rivest82,
author = {Ronald L. Rivest},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {The "PI" (placement and interconnect) system},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {475--481},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809247},
doi = {10.1145/800263.809247},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/Rivest82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/RivestF82,
author = {Ronald L. Rivest and
Charles M. Fiduccia},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {A "greedy" channel router},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {418--424},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809239},
doi = {10.1145/800263.809239},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/RivestF82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Robbins82,
author = {Donald Robbins},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {Making the wire frame solid},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {650--654},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809271},
doi = {10.1145/800263.809271},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/Robbins82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/SakaiTYOOKKY82,
author = {Takeshi Sakai and
Yoshiyuki Tsuchida and
Hiroto Yasuura and
Yasushi Ooi and
Yoshitsugu Ono and
Hiroshi Kano and
Shinji Kimura and
Shuzo Yajima},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {An Interactive Simulation System for structured logic design - {ISS}},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {747--754},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809285},
doi = {10.1145/800263.809285},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/SakaiTYOOKKY82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Saluja82,
author = {Kewal K. Saluja},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {An enhancement of lssd to reduce test pattern generation effort and
increase fault coverage},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {489--494},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809249},
doi = {10.1145/800263.809249},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/Saluja82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Sanborn82,
author = {Jere L. Sanborn},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {Evolution of the engineering design system data base},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {214--218},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809209},
doi = {10.1145/800263.809209},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/Sanborn82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Seiler82,
author = {Larry Seiler},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {A hardware assisted design rule check architecture},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {232--238},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809212},
doi = {10.1145/800263.809212},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/Seiler82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/ShiraishiIKN82,
author = {Hiroshi Shiraishi and
Mitsuo Ishii and
Shoichi Kurita and
Masaaki Nagamine},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {{ICAD/PCB:} Integrated computer aided design system for printed circuit
boards},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {727--732},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809282},
doi = {10.1145/800263.809282},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/ShiraishiIKN82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/ShivaC82,
author = {Sajjan G. Shiva and
J. A. Covington},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {Modular description/simulation/synthesis using {DDL}},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {321--329},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809224},
doi = {10.1145/800263.809224},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/ShivaC82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Shliferstein82,
author = {Abe R. Shliferstein},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {Experiments using interactive color raster graphics for {CAD}},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {445--452},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809243},
doi = {10.1145/800263.809243},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/Shliferstein82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/SmithW82,
author = {David C. Smith and
Barry S. Wagner},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {A low cost, transportable, data management system for {LSI/VLSI} design},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {283--290},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809219},
doi = {10.1145/800263.809219},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/SmithW82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Sparr82,
author = {Ted M. Sparr},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {A language for a scientific and engineering database system},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {865--871},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809301},
doi = {10.1145/800263.809301},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/Sparr82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Sr82,
author = {Robert B. Hitchcock Sr.},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {Timing Verification and the Timing Analysis program},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {594--604},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809264},
doi = {10.1145/800263.809264},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/Sr82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Supowit82,
author = {Kenneth J. Supowit},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {A minimum-impact routing algorithm},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {104--112},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809194},
doi = {10.1145/800263.809194},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/Supowit82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/SyedGB82,
author = {Zahir A. Syed and
Abbas El Gamal and
Melvin A. Breuer},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {On routing for custom integrated circuits},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {887--893},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809304},
doi = {10.1145/800263.809304},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/SyedGB82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Szepieniec82,
author = {Antoni A. Szepieniec},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {{SAGA:} An Experimental Silicon Assembler},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {365--370},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809231},
doi = {10.1145/800263.809231},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/Szepieniec82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/TakashimaMCY82,
author = {Makoto Takashima and
Takashi Mitsuhashi and
Toshiaki Chiba and
Kenji Yoshida},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {Programs for verifying circuit connectivity of mos/lsi mask artwork},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {544--550},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809257},
doi = {10.1145/800263.809257},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/TakashimaMCY82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/TamminenS82,
author = {Markku Tamminen and
Reijo Sulonen},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {The excell method for efficient geometric access to data},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {345--351},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809228},
doi = {10.1145/800263.809228},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/TamminenS82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/TeelW82,
author = {Bill Teel and
Doran Wilde},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {A logic minimizer for {VLSI} {PLA} design},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {156--162},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809201},
doi = {10.1145/800263.809201},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/TeelW82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/TeraiKSY82,
author = {Masayuki Terai and
Hajime Kanada and
Koji Sato and
Toshihiko Yahara},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {A consideration of the number of horizontal grids used in the routing
of a masterslice layout},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {121--128},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809196},
doi = {10.1145/800263.809196},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/TeraiKSY82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Thompson82,
author = {T. J. Thompson},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {A utilitarian approach to {CAD}},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {23--29},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809181},
doi = {10.1145/800263.809181},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/Thompson82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/ToddHPBGAB82,
author = {Lee F. Todd and
J. M. Hansen and
S. V. Pantulu and
John L. Barron and
D. J. Gilbert and
R. J. Anderson and
A. K. Biyani},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {CGALA-a multi technology Gate Array Layout system},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {792--801},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809292},
doi = {10.1145/800263.809292},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/ToddHPBGAB82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/TraceyK82,
author = {James H. Tracey and
Kovvali Surya Kumar},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {A hardware description language for processor based digital systems},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {330--337},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809225},
doi = {10.1145/800263.809225},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/TraceyK82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/TrimbergerR82,
author = {Stephen Trimberger and
James A. Rowson},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {Riot - a simple graphical chip assembly tool},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {371--376},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809232},
doi = {10.1145/800263.809232},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/TrimbergerR82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/UlrichH82,
author = {Ernst G. Ulrich and
Dennis Hebert},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {Speed and accuracy in digital network simulation based on structural
modeling},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {587--593},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809263},
doi = {10.1145/800263.809263},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/UlrichH82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/WieselM82,
author = {Manfred Wiesel and
Dieter A. Mlynski},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {Two-dimensional channel routing and channel intersection problems},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {733--739},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809283},
doi = {10.1145/800263.809283},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/WieselM82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Williams82,
author = {Thomas W. Williams},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {Design for testability},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {9},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809178},
doi = {10.1145/800263.809178},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/Williams82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/WipflerWM82,
author = {G. J. Wipfler and
Manfred Wiesel and
Dieter A. Mlynski},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {A combined force and cut algorithm for hierarchical {VLSI} layout},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {671--677},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809274},
doi = {10.1145/800263.809274},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/WipflerWM82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Woodward82,
author = {Robert F. Woodward},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {Operational aspects of design automation for the {IBM} 3081},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {91--95},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809192},
doi = {10.1145/800263.809192},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/Woodward82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dac/1982,
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
publisher = {{ACM/IEEE}},
year = {1982},
url = {http://dl.acm.org/citation.cfm?id=800263},
timestamp = {Fri, 12 Jun 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dac/1982.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-05-13 06:28 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:
