Search dblp for Publications

export results for "toc:db/conf/dac/dac1980.bht:"

 download as .bib file

@inproceedings{DBLP:conf/dac/AbramoviciB80,
  author       = {Miron Abramovici and
                  Melvin A. Breuer},
  editor       = {Edwin B. Hassler Jr.},
  title        = {Fault diagnosis based on effect-cause analysis: An introduction},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {69--76},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804514},
  doi          = {10.1145/800139.804514},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/AbramoviciB80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/AgrawalBKNP80,
  author       = {Vishwani D. Agrawal and
                  Ajoy K. Bose and
                  Patrick Kozak and
                  Hao N. Nham and
                  Ernesto Pacas{-}Skewes},
  editor       = {Edwin B. Hassler Jr.},
  title        = {A mixed-mode simulator},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {618--625},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804595},
  doi          = {10.1145/800139.804595},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/AgrawalBKNP80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Allen80,
  author       = {Jonathan Allen},
  editor       = {Edwin B. Hassler Jr.},
  title        = {A contemporary perspective on design automation and {VLSI} in the
                  80's (Position Statement)},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {338--339},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804548},
  doi          = {10.1145/800139.804548},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/Allen80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/AltmanP80,
  author       = {Arthur H. Altman and
                  Alice C. Parker},
  editor       = {Edwin B. Hassler Jr.},
  title        = {The {SLIDE} simulator: {A} facility for the design and analysis of
                  computer interconnections},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {148--155},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804524},
  doi          = {10.1145/800139.804524},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/AltmanP80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Armstrong80,
  author       = {R. A. Armstrong},
  editor       = {Edwin B. Hassler Jr.},
  title        = {A {CAD} user's perspective what gets done right wrong and not at all
                  (Position Paper)},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {517},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804577},
  doi          = {10.1145/800139.804577},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/Armstrong80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Bering80,
  author       = {D. E. Bering},
  editor       = {Edwin B. Hassler Jr.},
  title        = {The electronics engineer's design station},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {422--429},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804565},
  doi          = {10.1145/800139.804565},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/Bering80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/BiehlGH80,
  author       = {G{\"{u}}nter Biehl and
                  Werner Grass and
                  P. S. Hall},
  editor       = {Edwin B. Hassler Jr.},
  title        = {Optimization of the influence of problem modifications on given microprogrammed
                  controllers},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {309--317},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804544},
  doi          = {10.1145/800139.804544},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/BiehlGH80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/BlissH80,
  author       = {Frank W. Bliss and
                  George M. Hyman},
  editor       = {Edwin B. Hassler Jr.},
  title        = {Selecting and successfully implementing a turnkey computer graphics
                  system},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {579--584},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804589},
  doi          = {10.1145/800139.804589},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/BlissH80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/CarmodyBMWH80,
  author       = {P. Carmody and
                  A. M. Barone and
                  J. K. Morrell and
                  A. Weiner and
                  John L. Hennessy},
  editor       = {Edwin B. Hassler Jr.},
  title        = {An Interactive Graphics System for custom design},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {430--439},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804566},
  doi          = {10.1145/800139.804566},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/CarmodyBMWH80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/CasavantGK80,
  author       = {Albert E. Casavant and
                  Daniel D. Gajski and
                  David J. Kuck},
  editor       = {Edwin B. Hassler Jr.},
  title        = {Automatic design with dependence graphs},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {506--515},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804575},
  doi          = {10.1145/800139.804575},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/CasavantGK80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/ChaoHY80,
  author       = {Shiu{-}Ping Chao and
                  Yen{-}Son Huang and
                  Lap Man Yam},
  editor       = {Edwin B. Hassler Jr.},
  title        = {A hierarchical approach for layout versus circuit consistency check},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {269},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804538},
  doi          = {10.1145/800139.804538},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/ChaoHY80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/ChaoHY80a,
  author       = {Shiu{-}Ping Chao and
                  Yen{-}Son Huang and
                  Lap Man Yam},
  editor       = {Edwin B. Hassler Jr.},
  title        = {A hierarchical approach for layout versus circuit consistency check},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {270--276},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804539},
  doi          = {10.1145/800139.804539},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/ChaoHY80a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/ChelottiB80,
  author       = {E. F. Chelotti and
                  D. P. Bossie},
  editor       = {Edwin B. Hassler Jr.},
  title        = {Design automation at a large architect-engineer},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {40--49},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804510},
  doi          = {10.1145/800139.804510},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/ChelottiB80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/ClaryKS80,
  author       = {Dave Clary and
                  Robert Kirk and
                  Steve Sapiro},
  editor       = {Edwin B. Hassler Jr.},
  title        = {{SIDS} {(A} Symbolic Interactive Design System)},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {292--295},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804542},
  doi          = {10.1145/800139.804542},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/ClaryKS80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/CoryC80,
  author       = {Wendell E. Cory and
                  William M. van Cleemput},
  editor       = {Edwin B. Hassler Jr.},
  title        = {Developments in verification of design correctness {(A} Tutorial)},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {156--164},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804525},
  doi          = {10.1145/800139.804525},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/CoryC80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/CoteP80,
  author       = {L. C. Cote and
                  Arvind M. Patel},
  editor       = {Edwin B. Hassler Jr.},
  title        = {The interchange algorithms for circuit placement problems},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {528--534},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804581},
  doi          = {10.1145/800139.804581},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/CoteP80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/CoxC80,
  author       = {Glenn W. Cox and
                  Bill D. Carroll},
  editor       = {Edwin B. Hassler Jr.},
  title        = {The Standard Transistor Array (star) (Part {II} automatic cell placement
                  techniques)},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {451--457},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804569},
  doi          = {10.1145/800139.804569},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dac/CoxC80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Currier80,
  author       = {David W. Currier},
  editor       = {Edwin B. Hassler Jr.},
  title        = {Automation of sheet metal design and manufacturing},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {134--138},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804522},
  doi          = {10.1145/800139.804522},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/Currier80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Daram80,
  author       = {Sam Bala Daram},
  editor       = {Edwin B. Hassler Jr.},
  title        = {Position statement - {CAD} for {VLSI}},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {642},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804598},
  doi          = {10.1145/800139.804598},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/Daram80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/DarringerJ80,
  author       = {John A. Darringer and
                  William H. Joyner Jr.},
  editor       = {Edwin B. Hassler Jr.},
  title        = {A new look at logic synthesis},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {543--549},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804583},
  doi          = {10.1145/800139.804583},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/DarringerJ80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/David80,
  author       = {B. T. David},
  editor       = {Edwin B. Hassler Jr.},
  title        = {An integrated {CAD} system for architecture},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {218--225},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804531},
  doi          = {10.1145/800139.804531},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/David80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/DeutschG80,
  author       = {David N. Deutsch and
                  Paul Glick},
  editor       = {Edwin B. Hassler Jr.},
  title        = {An over-the-cell router},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {32--39},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804509},
  doi          = {10.1145/800139.804509},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/DeutschG80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Donath80,
  author       = {Wilm E. Donath},
  editor       = {Edwin B. Hassler Jr.},
  title        = {Complexity theory and design automation},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {412--419},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804563},
  doi          = {10.1145/800139.804563},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/Donath80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/DukeM80,
  author       = {Keith A. Duke and
                  Klim Maling},
  editor       = {Edwin B. Hassler Jr.},
  title        = {Alex: {A} conversational, hierarchical logic design system},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {318--327},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804545},
  doi          = {10.1145/800139.804545},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/DukeM80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Dunlop80,
  author       = {Alfred E. Dunlop},
  editor       = {Edwin B. Hassler Jr.},
  title        = {SLIM-the translation of symbolic layouts into mask data},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {595--602},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804592},
  doi          = {10.1145/800139.804592},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/Dunlop80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/DyerLMS80,
  author       = {Joe Dyer and
                  Arijit Laha and
                  Ernest J. Moran and
                  William D. Smart},
  editor       = {Edwin B. Hassler Jr.},
  title        = {The use of graphics processors for circuit design simulation at {GTE}
                  {AE} Labs},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {446--450},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804568},
  doi          = {10.1145/800139.804568},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/DyerLMS80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Eastman80,
  author       = {Charles M. Eastman},
  editor       = {Edwin B. Hassler Jr.},
  title        = {System facilities for {CAD} databases},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {50--56},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804511},
  doi          = {10.1145/800139.804511},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/Eastman80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/El-Ziq80,
  author       = {Yacoub M. El{-}Ziq},
  editor       = {Edwin B. Hassler Jr.},
  title        = {A new test pattern generation system},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {62--68},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804513},
  doi          = {10.1145/800139.804513},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/El-Ziq80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Fitch80,
  author       = {A. E. Fitch},
  editor       = {Edwin B. Hassler Jr.},
  title        = {Will your bridge stand the load? (Position Paper)},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {518},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804578},
  doi          = {10.1145/800139.804578},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/Fitch80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Frew80,
  author       = {Robert Simpson Frew},
  editor       = {Edwin B. Hassler Jr.},
  title        = {A survey of space allocation algorithms in use in architectural design
                  in the past twenty years},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {165--174},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804526},
  doi          = {10.1145/800139.804526},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/Frew80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Garvin80,
  author       = {D. J. Garvin},
  editor       = {Edwin B. Hassler Jr.},
  title        = {Observations of a {CAD} user (Position Paper)},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {519},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804579},
  doi          = {10.1145/800139.804579},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/Garvin80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/GiambiasiMM80,
  author       = {Norbert Giambiasi and
                  A. Miara and
                  D. Muriach},
  editor       = {Edwin B. Hassler Jr.},
  title        = {Methods for generalized deductive fault simulation},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {386--392},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804560},
  doi          = {10.1145/800139.804560},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/GiambiasiMM80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Goel80,
  author       = {Prabhakar Goel},
  editor       = {Edwin B. Hassler Jr.},
  title        = {Test generation costs analysis and projections},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {77--84},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804515},
  doi          = {10.1145/800139.804515},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/Goel80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/GoldsteinT80,
  author       = {Lawrence H. Goldstein and
                  Evelyn L. Thigpen},
  editor       = {Edwin B. Hassler Jr.},
  title        = {{SCOAP:} Sandia controllability/observability analysis program},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {190--196},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804528},
  doi          = {10.1145/800139.804528},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/GoldsteinT80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/GouldE80,
  author       = {John M. Gould and
                  Teddy M. Edge},
  editor       = {Edwin B. Hassler Jr.},
  title        = {The standard transistor array {(STAR):} Part {I} {A} two-layer metal
                  semicustom design system},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {108--113},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804519},
  doi          = {10.1145/800139.804519},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/GouldE80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/GrasonN80,
  author       = {John Grason and
                  Andrew W. Nagle},
  editor       = {Edwin B. Hassler Jr.},
  title        = {Digital test generation and design for testability},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {175--189},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804527},
  doi          = {10.1145/800139.804527},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/GrasonN80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Gwyn80,
  author       = {Charles W. Gwyn},
  editor       = {Edwin B. Hassler Jr.},
  title        = {Design automation trends for {VLSI} in the 1980s (Position Statement)},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {340},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804549},
  doi          = {10.1145/800139.804549},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/Gwyn80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Haddad80,
  author       = {Jerrier A. Haddad},
  editor       = {Edwin B. Hassler Jr.},
  title        = {Keynote speaker},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {2},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804505},
  doi          = {10.1145/800139.804505},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/Haddad80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/HanauL80,
  author       = {Paul R. Hanau and
                  David R. Lenorovitz},
  editor       = {Edwin B. Hassler Jr.},
  title        = {A prototyping and simulation approach to interactive computer system
                  design},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {572--578},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804588},
  doi          = {10.1145/800139.804588},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/HanauL80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Hassler80,
  author       = {Edwin B. Hassler Jr.},
  editor       = {Edwin B. Hassler Jr.},
  title        = {Chairman's introduction},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {1},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804504},
  doi          = {10.1145/800139.804504},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/Hassler80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/HeynsSB80,
  author       = {Walter Heyns and
                  Willy Sansen and
                  Herman Beke},
  editor       = {Edwin B. Hassler Jr.},
  title        = {A line-expansion algorithm for the general routing problem with a
                  guaranteed solution},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {243--249},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804534},
  doi          = {10.1145/800139.804534},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/HeynsSB80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/HightowerB80,
  author       = {David W. Hightower and
                  Robert L. Boyd},
  editor       = {Edwin B. Hassler Jr.},
  title        = {A generalized channel router},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {12--21},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804507},
  doi          = {10.1145/800139.804507},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/HightowerB80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Jacobs80,
  author       = {R. M. Jacobs},
  editor       = {Edwin B. Hassler Jr.},
  title        = {Design automation and {VLSI} in the 80's (Position Statement)},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {341},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804550},
  doi          = {10.1145/800139.804550},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/Jacobs80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Jayakumar80,
  author       = {V. Jayakumar},
  editor       = {Edwin B. Hassler Jr.},
  title        = {A data structure for interactive placement of rectangular objects},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {237--242},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804533},
  doi          = {10.1145/800139.804533},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/Jayakumar80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/KarpovskyS80,
  author       = {Mark G. Karpovsky and
                  Stephen Y. H. Su},
  editor       = {Edwin B. Hassler Jr.},
  title        = {Detecting bridging and stuck-at faults at input and output pins of
                  standard digital components},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {494--505},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804574},
  doi          = {10.1145/800139.804574},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/KarpovskyS80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/KimS80,
  author       = {Jin H. Kim and
                  Daniel P. Siewiorek},
  editor       = {Edwin B. Hassler Jr.},
  title        = {Issues in {IC} implementation of high level, abstract designs},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {85--91},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804516},
  doi          = {10.1145/800139.804516},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/KimS80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/KoppelmanM80,
  author       = {George M. Koppelman and
                  Klim Maling},
  editor       = {Edwin B. Hassler Jr.},
  title        = {Verifying deep logic hierarchies with {ALEX}},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {328--335},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804546},
  doi          = {10.1145/800139.804546},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/KoppelmanM80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Lauther80,
  author       = {Ulrich Lauther},
  editor       = {Edwin B. Hassler Jr.},
  title        = {A data structure for gridless routing},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {603--609},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804593},
  doi          = {10.1145/800139.804593},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/Lauther80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Lee80,
  author       = {Benjamin Lee},
  editor       = {Edwin B. Hassler Jr.},
  title        = {Design tools for {VLSI} (Position Statement)},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {342},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804551},
  doi          = {10.1145/800139.804551},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/Lee80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/LeinwandL80,
  author       = {Sany M. Leinwand and
                  T. Lamdan},
  editor       = {Edwin B. Hassler Jr.},
  title        = {Algebraic analysis of nondeterministic behavior},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {483--493},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804573},
  doi          = {10.1145/800139.804573},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/LeinwandL80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/LorenzettiS80,
  author       = {Michael J. Lorenzetti and
                  Robert J. Smith},
  editor       = {Edwin B. Hassler Jr.},
  title        = {An implementation of a saturated zone multi-layer printed circuit
                  board router},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {255--262},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804536},
  doi          = {10.1145/800139.804536},
  timestamp    = {Wed, 31 Mar 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dac/LorenzettiS80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Losleben80,
  author       = {Paul Losleben},
  editor       = {Edwin B. Hassler Jr.},
  title        = {The real world of design automation - part {III} or The user's viewpoint
                  chairman's introduction (Panel Discussion)},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {516},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804576},
  doi          = {10.1145/800139.804576},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/Losleben80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/LuebbertU80,
  author       = {Frank Luebbert and
                  Mike Ulrey},
  editor       = {Edwin B. Hassler Jr.},
  title        = {Gate assignment and pack placement: Two approaches compared},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {472--482},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804572},
  doi          = {10.1145/800139.804572},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/LuebbertU80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/MacdonaldPP80,
  author       = {John B. Macdonald and
                  Mary K. Podlecki and
                  Milt J. Pappas},
  editor       = {Edwin B. Hassler Jr.},
  title        = {Technical documentation by "MAGIC" (Machine Aided Graphics for Illustration
                  and Composition},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {440--445},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804567},
  doi          = {10.1145/800139.804567},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/MacdonaldPP80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Mallmann80,
  author       = {Felix P. Mallmann},
  editor       = {Edwin B. Hassler Jr.},
  title        = {The management of engineering changes using the {PRIMUS} system},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {348--361},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804555},
  doi          = {10.1145/800139.804555},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/Mallmann80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/McCaw80,
  author       = {Carl R. McCaw},
  editor       = {Edwin B. Hassler Jr.},
  title        = {Design automation and {VLSI} in the 80's (Panel Discussion)},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {336--337},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804547},
  doi          = {10.1145/800139.804547},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/McCaw80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/McGrathW80,
  author       = {Edward J. McGrath and
                  Telle Whitney},
  editor       = {Edwin B. Hassler Jr.},
  title        = {Design integrity and immunity checking: {A} new look at layout verification
                  and design rule checking},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {263--268},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804537},
  doi          = {10.1145/800139.804537},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/McGrathW80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/McWilliams80,
  author       = {Thomas M. McWilliams},
  editor       = {Edwin B. Hassler Jr.},
  title        = {Verification of timing constraints on large digital systems},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {139--147},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804523},
  doi          = {10.1145/800139.804523},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/McWilliams80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Miller80,
  author       = {Jacob M. Miller},
  editor       = {Edwin B. Hassler Jr.},
  title        = {Inter-active graphic methods for automating mechanical engineering
                  design and analyses},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {114--128},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804520},
  doi          = {10.1145/800139.804520},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/Miller80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/MitsuhashiCTY80,
  author       = {Takashi Mitsuhashi and
                  Toshiaki Chiba and
                  Makoto Takashima and
                  Kenji Yoshida},
  editor       = {Edwin B. Hassler Jr.},
  title        = {An integrated mask artwork analysis system},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {277--284},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804540},
  doi          = {10.1145/800139.804540},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/MitsuhashiCTY80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Mourad80,
  author       = {Samiha Mourad},
  editor       = {Edwin B. Hassler Jr.},
  title        = {An optimized {ATPG}},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {381--385},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804559},
  doi          = {10.1145/800139.804559},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/Mourad80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/NashRST80,
  author       = {Dan C. Nash and
                  Keith Russell and
                  Paul Silverman and
                  Mary Thiel},
  editor       = {Edwin B. Hassler Jr.},
  title        = {Functional level simulation at Raytheon},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {634--641},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804597},
  doi          = {10.1145/800139.804597},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/NashRST80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Newton80,
  author       = {A. Richard Newton},
  editor       = {Edwin B. Hassler Jr.},
  title        = {The {VLSI} design challenge of the 80's (Position Statement)},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {343--344},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804552},
  doi          = {10.1145/800139.804552},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/Newton80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/NhamB80,
  author       = {Hao N. Nham and
                  Ajoy K. Bose},
  editor       = {Edwin B. Hassler Jr.},
  title        = {A multiple delay simulator for {MOS} {LSI} circuits},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {610--617},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804594},
  doi          = {10.1145/800139.804594},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/NhamB80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/NishiokaKNYCNFU80,
  author       = {Ikuo Nishioka and
                  Takuji Kurimoto and
                  Hisao Nishida and
                  Seiji Yamamoto and
                  Toru Chiba and
                  Toshiaki Nagakawa and
                  Takatsugu Fujioka and
                  Masashi Uchino},
  editor       = {Edwin B. Hassler Jr.},
  title        = {An automatic routing system for high density multilayer printed wiring
                  boards},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {520--527},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804580},
  doi          = {10.1145/800139.804580},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/NishiokaKNYCNFU80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Northcutt80,
  author       = {J. Duane Northcutt},
  editor       = {Edwin B. Hassler Jr.},
  title        = {The design and implementation of fault insertion capabilities for
                  {ISPS}},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {197--209},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804529},
  doi          = {10.1145/800139.804529},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/Northcutt80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Patel80,
  author       = {Arvind M. Patel},
  editor       = {Edwin B. Hassler Jr.},
  title        = {Computer-aided assignment of manufacturing tolerances},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {129--133},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804521},
  doi          = {10.1145/800139.804521},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/Patel80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Powell80,
  author       = {R. E. Powell},
  editor       = {Edwin B. Hassler Jr.},
  title        = {Justification and financial analysis for {CAD}},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {564--571},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804587},
  doi          = {10.1145/800139.804587},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/Powell80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Ramsay80,
  author       = {Frank R. Ramsay},
  editor       = {Edwin B. Hassler Jr.},
  title        = {Automation of design for uncommitted logic array},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {100--107},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804518},
  doi          = {10.1145/800139.804518},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/Ramsay80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Roberts80,
  author       = {Martin B. Roberts},
  editor       = {Edwin B. Hassler Jr.},
  title        = {{VLSI} - a challenge for system designers (Position Statement)},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {345},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804553},
  doi          = {10.1145/800139.804553},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/Roberts80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Rosenberg80,
  author       = {Lawrence M. Rosenberg},
  editor       = {Edwin B. Hassler Jr.},
  title        = {The evolution of design automation to meet the challanges of {VLSI}},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {3--11},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804506},
  doi          = {10.1145/800139.804506},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/Rosenberg80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/SahniB80,
  author       = {Sartaj Sahni and
                  Atul Bhatt},
  editor       = {Edwin B. Hassler Jr.},
  title        = {The complexity of design automation problems},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {402--411},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804562},
  doi          = {10.1145/800139.804562},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/SahniB80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Sapiro80,
  author       = {Steve Sapiro},
  editor       = {Edwin B. Hassler Jr.},
  title        = {Desisn automation and {VLSI} in the 80's (Position Statement)},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {346--347},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804554},
  doi          = {10.1145/800139.804554},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/Sapiro80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/SasakiYKNTN80,
  author       = {Tohru Sasaki and
                  Akihiko Yamada and
                  Shunichi Kato and
                  Terufumi Nakazawa and
                  Kyoji Tomita and
                  Nobuyoshi Nomizu},
  editor       = {Edwin B. Hassler Jr.},
  title        = {{MIXS:} {A} mixed level simulator for large digital system logic verification},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {626--633},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804596},
  doi          = {10.1145/800139.804596},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/SasakiYKNTN80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/SatoO80,
  author       = {Keiichi Sato and
                  Charles L. Owen},
  editor       = {Edwin B. Hassler Jr.},
  title        = {A prestructuring model for system arrangement problems},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {226--236},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804532},
  doi          = {10.1145/800139.804532},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/SatoO80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/SatoSNOY80,
  author       = {Koji Sato and
                  Hiroyoshi Shimoyama and
                  Takao Nagai and
                  Masaru Ozaki and
                  Toshihiko Yahara},
  editor       = {Edwin B. Hassler Jr.},
  title        = {A "grid-free" channel router},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {22--31},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804508},
  doi          = {10.1145/800139.804508},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/SatoSNOY80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/SchnurmannP80,
  author       = {H. D. Schnurmann and
                  R. M. Peters},
  editor       = {Edwin B. Hassler Jr.},
  title        = {An interactive test data system for {LSI} production testing},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {362--366},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804556},
  doi          = {10.1145/800139.804556},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/SchnurmannP80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/ShiraishiH80,
  author       = {Hiroshi Shiraishi and
                  Fumiyasu Hirose},
  editor       = {Edwin B. Hassler Jr.},
  title        = {Efficient placement and routing techniques for master slice {LSI}},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {458--464},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804570},
  doi          = {10.1145/800139.804570},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/ShiraishiH80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/ShirakawaOHTO80,
  author       = {Isao Shirakawa and
                  Noboru Okuda and
                  Takashi Harada and
                  Sadahiro Tani and
                  Hiroshi Ozaki},
  editor       = {Edwin B. Hassler Jr.},
  title        = {A layout system for the random logic portion of {MOS} {LSI}},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {92--99},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804517},
  doi          = {10.1145/800139.804517},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/ShirakawaOHTO80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Shiva80,
  author       = {Sajjan G. Shiva},
  editor       = {Edwin B. Hassler Jr.},
  title        = {Combinational logic synthesis from an {HDL} description},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {550--555},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804584},
  doi          = {10.1145/800139.804584},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/Shiva80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Sidle80,
  author       = {Thomas Sidle},
  editor       = {Edwin B. Hassler Jr.},
  title        = {Weaknesses of commercial data base management systems in engineering
                  applications},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {57--61},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804512},
  doi          = {10.1145/800139.804512},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/Sidle80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/SingletonC80,
  author       = {J. Philip Singleton and
                  Nigel R. Crocker},
  editor       = {Edwin B. Hassler Jr.},
  title        = {Practical automated design of {LSI} for large computers},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {556--559},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804585},
  doi          = {10.1145/800139.804585},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/SingletonC80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Skinner80,
  author       = {Frank D. Skinner},
  editor       = {Edwin B. Hassler Jr.},
  title        = {Interactive wiring system},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {296--308},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804543},
  doi          = {10.1145/800139.804543},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/Skinner80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/SmithSP80,
  author       = {Valerie K. Smith and
                  Robert J. Smith and
                  Phil A. Preston},
  editor       = {Edwin B. Hassler Jr.},
  title        = {Comet - a fast component placer},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {465--471},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804571},
  doi          = {10.1145/800139.804571},
  timestamp    = {Wed, 31 Mar 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dac/SmithSP80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/SmithSTW80,
  author       = {Gregory L. Smith and
                  Sharon A. Stephens and
                  Leonard L. Tripp and
                  Wayne L. Warren},
  editor       = {Edwin B. Hassler Jr.},
  title        = {A tool to support design automation in batch manufacturing},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {367--373},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804557},
  doi          = {10.1145/800139.804557},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/SmithSTW80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/SoukupR80,
  author       = {Jir{\'{\i}} Soukup and
                  J. Royle},
  editor       = {Edwin B. Hassler Jr.},
  title        = {Cell map representation for hierarchical layout},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {591--594},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804591},
  doi          = {10.1145/800139.804591},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/SoukupR80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/SzepieniecO80,
  author       = {Antoni A. Szepieniec and
                  Ralph H. J. M. Otten},
  editor       = {Edwin B. Hassler Jr.},
  title        = {The genealogical approach to the layout problem},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {535--542},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804582},
  doi          = {10.1145/800139.804582},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/SzepieniecO80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/TadaYKS80,
  author       = {Fumiya Tada and
                  Kiyoshi Yoshimura and
                  Takashi Kagata and
                  Takeyoshi Shirakawa},
  editor       = {Edwin B. Hassler Jr.},
  title        = {A fast maze router with iterative use of variable search space restriction},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {250--254},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804535},
  doi          = {10.1145/800139.804535},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/TadaYKS80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/ThompsonKRRSB80,
  author       = {Edward W. Thompson and
                  Patrick G. Karger and
                  W. R. Read Jr. and
                  Don Ross and
                  John Smith and
                  Richard von Blucher},
  editor       = {Edwin B. Hassler Jr.},
  title        = {The incorporation of functional level element routines into an existing
                  digital simulation system},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {394--401},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804561},
  doi          = {10.1145/800139.804561},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/ThompsonKRRSB80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Ulrich80,
  author       = {Ernst G. Ulrich},
  editor       = {Edwin B. Hassler Jr.},
  title        = {Table lookup techniques for fast and flexible digital logic simulation},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {560--563},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804586},
  doi          = {10.1145/800139.804586},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/Ulrich80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/UlrichLPTKEB80,
  author       = {Ernst G. Ulrich and
                  D. Lacy and
                  N. Phillips and
                  J. Tellier and
                  M. Kearney and
                  T. Elkind and
                  R. Beaven},
  editor       = {Edwin B. Hassler Jr.},
  title        = {High-speed concurrent fault simulation with vectors and scalars},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {374--380},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804558},
  doi          = {10.1145/800139.804558},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/UlrichLPTKEB80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/WesteA80,
  author       = {Neil Weste and
                  Bryan D. Ackland},
  editor       = {Edwin B. Hassler Jr.},
  title        = {An {IC} design station needs a high performance color graphic display},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {285--291},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804541},
  doi          = {10.1145/800139.804541},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/WesteA80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Wilmore80,
  author       = {James A. Wilmore},
  editor       = {Edwin B. Hassler Jr.},
  title        = {A hierarchical bit-map format for the representation of {IC} mask
                  data},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {585--589},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804590},
  doi          = {10.1145/800139.804590},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/Wilmore80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Yates80,
  author       = {Kenneth D. Yates},
  editor       = {Edwin B. Hassler Jr.},
  title        = {Design process analysis: {A} measurement and analysis technique},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {420--421},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804564},
  doi          = {10.1145/800139.804564},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/Yates80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/dAbreuT80,
  author       = {Manuel A. d'Abreu and
                  Edward W. Thompson},
  editor       = {Edwin B. Hassler Jr.},
  title        = {An accurate functional level concurrent fault simulator},
  booktitle    = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  pages        = {210--217},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800139.804530},
  doi          = {10.1145/800139.804530},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/dAbreuT80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dac/1980,
  editor       = {Edwin B. Hassler Jr.},
  title        = {Proceedings of the 17th Design Automation Conference, {DAC} '80, Minneapolis,
                  Minnesota, USA, June 23-25, 1980},
  publisher    = {{ACM/IEEE}},
  year         = {1980},
  url          = {http://dl.acm.org/citation.cfm?id=800139},
  isbn         = {0-89791-020-6},
  timestamp    = {Wed, 29 Mar 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dac/1980.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics