Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/dac/dac1982.bht:"
@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} }
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.