Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/dac/Abraham85,
  author       = {Raj Abraham},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {Custom microcomputers for {CAD} optimization software},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {102--110},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317842},
  doi          = {10.1145/317825.317842},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/Abraham85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/AgrawalAB85,
  author       = {Prathima Agrawal and
                  Vishwani D. Agrawal and
                  Nripendra N. Biswas},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {Multiple output minimization},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {674--680},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317962},
  doi          = {10.1145/317825.317962},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/AgrawalAB85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/AgrawalCPLMPSB85,
  author       = {Prathima Agrawal and
                  Frederick L. Cohen and
                  Chet A. Palesko and
                  Hung{-}Fai Stephen Law and
                  Mark Miller and
                  Mike Price and
                  David W. Smith and
                  Nicholas P. Van Brunt},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {Workstations (panel discussion): a complete solution to the {VLSI}
                  designer?},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {219--225},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317860},
  doi          = {10.1145/317825.317860},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/AgrawalCPLMPSB85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/AlthoffS85,
  author       = {James C. Althoff and
                  Robert D. Shur},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {A behavioral modeling system for cell compilers},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {468--474},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317930},
  doi          = {10.1145/317825.317930},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/AlthoffS85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/AndouYMKSH85,
  author       = {Hiroshi Andou and
                  Ichiro Yamamoto and
                  Yuuko Mori and
                  Yutaka Koike and
                  Kimikatsu Shouji and
                  Kazuyuki Hirakawa},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {Automatic routing algorithm for {VLSI}},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {785--788},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317992},
  doi          = {10.1145/317825.317992},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/AndouYMKSH85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/AnwayFR85,
  author       = {Hart Anway and
                  Greg Farnham and
                  Rebecca Reid},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {{PLINT} layout system for {VLSI} chips},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {449--452},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317927},
  doi          = {10.1145/317825.317927},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/AnwayFR85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/AryaKSM85,
  author       = {Anjali Arya and
                  Anshul Kumar and
                  V. V. Swaminathan and
                  Amit Misra},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {Automatic generation of digital system schematic diagrams},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {388--395},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317917},
  doi          = {10.1145/317825.317917},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/AryaKSM85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/AshokCS85,
  author       = {V. Ashok and
                  Roger L. Costello and
                  P. Sadayappan},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {Modeling switch-level simulation using data flow},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {637--644},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317957},
  doi          = {10.1145/317825.317957},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/AshokCS85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/BamjiHA85,
  author       = {Cyrus Bamji and
                  Charles E. Hauck and
                  Jonathan Allen},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {A design by example regular structure generator},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {16--22},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317828},
  doi          = {10.1145/317825.317828},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/BamjiHA85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/BarabinoBBM85,
  author       = {G. P. Barabino and
                  G. S. Barabino and
                  G. Bisio and
                  Michele Marchesi},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {A module for improving data access and management in an integrated
                  {CAD} environment},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {577--583},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317948},
  doi          = {10.1145/317825.317948},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/BarabinoBBM85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Barke85,
  author       = {Erich Barke},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {Resistance calculation from mask artwork data by finite element method},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {305--311},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317875},
  doi          = {10.1145/317825.317875},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/Barke85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Bergmann85,
  author       = {Neil Bergmann},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {Generalised CMOS-a technology independent {CMOS} {IC} design style},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {273--278},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317870},
  doi          = {10.1145/317825.317870},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/Bergmann85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/BierP85,
  author       = {George E. Bier and
                  Andrew R. Pleszkun},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {An algorithm for design rule checking on a multiprocessor},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {299--304},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317874},
  doi          = {10.1145/317825.317874},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/BierP85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/BlackburnT85,
  author       = {Robert L. Blackburn and
                  Donald E. Thomas},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {Linking the behavioral and structural dominis of representation in
                  a synthesis system},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {374--380},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317915},
  doi          = {10.1145/317825.317915},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/BlackburnT85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/BlackmanFR85,
  author       = {Timothy Blackman and
                  Jeffrey R. Fox and
                  Christopher Rosebrugh},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {The Silc silicon compiler: language and features},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {232--237},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317864},
  doi          = {10.1145/317825.317864},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/BlackmanFR85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Blanks85,
  author       = {John P. Blanks},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {Near-optimal placement using a quadratic objective function},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {609--615},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317953},
  doi          = {10.1145/317825.317953},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/Blanks85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/BreuerZ85,
  author       = {Melvin A. Breuer and
                  Xi{-}an Zhu},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {A knowledge based system for selecting a test methodology for a {PLA}},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {259--265},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317868},
  doi          = {10.1145/317825.317868},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/BreuerZ85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Bryant85,
  author       = {Randal E. Bryant},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {Symbolic manipulation of Boolean functions using a graphical representation},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {688--694},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317964},
  doi          = {10.1145/317825.317964},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/Bryant85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/BryantS85,
  author       = {Randal E. Bryant and
                  Michael Dd. Schuster},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {Performance evaluation of FMOSSIM, a concurrent switch-level fault
                  simulator},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {715--719},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317968},
  doi          = {10.1145/317825.317968},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/BryantS85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/BudneyH85,
  author       = {W. M. Budney and
                  S. K. Holewa},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {{MIDAS:} integrated {CAD} for total system design},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {529--535},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317940},
  doi          = {10.1145/317825.317940},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/BudneyH85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/BursteinY85,
  author       = {Michael Burstein and
                  Mary N. Youssef},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {Timing influenced layout design},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {124--130},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317845},
  doi          = {10.1145/317825.317845},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/BursteinY85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Camposano85,
  author       = {Raul Camposano},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {Synthesis techniques for digital systems design},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {475--481},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317931},
  doi          = {10.1145/317825.317931},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/Camposano85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Chan85,
  author       = {Edward Chan},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {Development of a timing analysis program for multiple clocked network},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {816--819},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.318005},
  doi          = {10.1145/317825.318005},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/Chan85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/ChangW85,
  author       = {Kai{-}Hsiung Chang and
                  William G. Wee},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {A knowledge based planning system for mechanical assembly usign robots},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {330--336},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317879},
  doi          = {10.1145/317825.317879},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/ChangW85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Cho85,
  author       = {Y. Eric Cho},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {A subjective review of compaction (tutorial session)},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {396--404},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317918},
  doi          = {10.1145/317825.317918},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/Cho85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/ChowdhuryB85,
  author       = {Salim U. Chowdhury and
                  Melvin A. Breuer},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {The construction of minimal area power and ground nets for {VLSI}
                  circuits},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {794--797},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317996},
  doi          = {10.1145/317825.317996},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/ChowdhuryB85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/ChuL85,
  author       = {Kung{-}Chao Chu and
                  Y. Edmund Lien},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {Technology tracking for {VLSI} layout design tools},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {279--285},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317871},
  doi          = {10.1145/317825.317871},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/ChuL85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/CollinsK85,
  author       = {Robert P. Collins and
                  William J. Ketelhut},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {The impact of technological advances on programmable controller s(tutorial
                  session)},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {498--502},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317935},
  doi          = {10.1145/317825.317935},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/CollinsK85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Cory85,
  author       = {Warren E. Cory},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {Layla: a {VLSI} layout language},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {245--251},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317866},
  doi          = {10.1145/317825.317866},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/Cory85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/DagenaisAR85,
  author       = {Michel R. Dagenais and
                  Vinod K. Agarwal and
                  Nicholas C. Rumin},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {The McBOOLE logic minimizer},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {667--673},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317961},
  doi          = {10.1145/317825.317961},
  timestamp    = {Mon, 13 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dac/DagenaisAR85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/DelormeRdGLMC85,
  author       = {C. Delorme and
                  P. Roux and
                  L. Demians d'Archimbaud and
                  Norbert Giambiasi and
                  R. L'Bath and
                  B. MacGee and
                  R. Charroppin},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {A functional partitioning expert system for test sequences generation},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {820--824},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.318006},
  doi          = {10.1145/317825.318006},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/DelormeRdGLMC85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/DwyerMBG85,
  author       = {Robert Dwyer and
                  Stephen Morris and
                  Edward Bard and
                  Daniel Green},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {The integration of an advanced gate array router into a fully automated
                  design system},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {770--772},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317985},
  doi          = {10.1145/317825.317985},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/DwyerMBG85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/EliasBCM85,
  author       = {N. J. Elias and
                  R. J. Byrne and
                  A. D. Close and
                  Robert M. McDermott},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {The {ITT} {VLSI} design system: {CAD} integration in a multi-national
                  environment},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {549--553},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317943},
  doi          = {10.1145/317825.317943},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/EliasBCM85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/EntenmanD85,
  author       = {George Entenman and
                  Stephen W. Daniel},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {A fully automatic hierarchical compactor},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {69--75},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317835},
  doi          = {10.1145/317825.317835},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/EntenmanD85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/FinchMBS85,
  author       = {A. C. Finch and
                  K. J. Mackenzie and
                  G. J. Balsdon and
                  G. Symonds},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {A method for gridless routing of printed circuit boards},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {509--515},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317937},
  doi          = {10.1145/317825.317937},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/FinchMBS85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Frank85,
  author       = {Edward H. Frank},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {Switch-level simulation of {VLSI} using a special-purpose data-driven
                  computer},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {735--738},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317972},
  doi          = {10.1145/317825.317972},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/Frank85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Frome85,
  author       = {Francine S. Frome},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {Course, video, and manual dexterity (tutorial): tailoring training
                  to {CAD} users},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {226--231},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317863},
  doi          = {10.1145/317825.317863},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/Frome85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/FungHK85,
  author       = {Hingsam S. Fung and
                  Sanford Hirschhorn and
                  R. Kulkarni},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {Design for testability in a silicon compilation environment},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {190--196},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317857},
  doi          = {10.1145/317825.317857},
  timestamp    = {Tue, 09 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/FungHK85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/GiambiasiMLdDR85,
  author       = {Norbert Giambiasi and
                  B. MacGee and
                  R. L'Bath and
                  L. Demians d'Archimbaud and
                  C. Delorme and
                  P. Roux},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {An adaptive and evolutive tool for describing general hierarchical
                  models, based on frames and demons},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {460--467},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317929},
  doi          = {10.1145/317825.317929},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/GiambiasiMLdDR85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/GoatesHSH85,
  author       = {Gary B. Goates and
                  Patrick M. Hefferan and
                  Robert J. Smith and
                  Randy Harris},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {Star's envoling design environment: a user's perspective on {CAE}},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {584--590},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317949},
  doi          = {10.1145/317825.317949},
  timestamp    = {Wed, 31 Mar 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dac/GoatesHSH85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/GranackiKP85,
  author       = {John J. Granacki and
                  David Knapp and
                  Alice C. Parker},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {The {ADAM} advanced design automation system: overview, planner and
                  natural language interface},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {727--730},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317970},
  doi          = {10.1145/317825.317970},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/GranackiKP85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/GrayH85,
  author       = {John P. Gray and
                  John Hunter},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {Portability in silicon {CAE}},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {597--601},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317951},
  doi          = {10.1145/317825.317951},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/GrayH85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Grinthal85,
  author       = {E. Ted Grinthal},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {Software quality assurance for {CAD} (tutorial)},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {555--561},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317945},
  doi          = {10.1145/317825.317945},
  timestamp    = {Tue, 09 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/Grinthal85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/GuptaA85,
  author       = {Anil K. Gupta and
                  James R. Armstrong},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {Functional fault modeling and simulation for {VLSI} devices},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {720--726},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317969},
  doi          = {10.1145/317825.317969},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/GuptaA85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/HahnF85,
  author       = {Winfried Hahn and
                  Kristian Fischer},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {MuSiC: an event-flow computer for fast simulation of digital systems},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {338--344},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317882},
  doi          = {10.1145/317825.317882},
  timestamp    = {Fri, 23 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/HahnF85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/HanS85,
  author       = {Sangyong Han and
                  Sartaj Sahni},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {Layering algorithms for single row routing},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {516--522},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317938},
  doi          = {10.1145/317825.317938},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/HanS85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/HealeyG85,
  author       = {Steven T. Healey and
                  Daniel D. Gajski},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {Decomposition of logic networks into silicon},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {162--168},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317852},
  doi          = {10.1145/317825.317852},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/HealeyG85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Hedlund85,
  author       = {Kye S. Hedlund},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {Electrical optimization of PLAs},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {681--687},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317963},
  doi          = {10.1145/317825.317963},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/Hedlund85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/HefferanSBN85,
  author       = {Patrick M. Hefferan and
                  Robert J. Smith and
                  Val Burdick and
                  Donald L. Nelson},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {The {STE-264} accelerated electronic {CAD} system},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {352--358},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317912},
  doi          = {10.1145/317825.317912},
  timestamp    = {Wed, 31 Mar 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dac/HefferanSBN85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/HennionSC85,
  author       = {B. Hennion and
                  P. Senn and
                  D. Coquelle},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {A new algorithm for third generation circuit simulators: the one-step
                  relaxation method},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {137--143},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317847},
  doi          = {10.1145/317825.317847},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/HennionSC85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/HillFL85,
  author       = {Dwight D. Hill and
                  John P. Fishburn and
                  Mary Diane Palmer Leland},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {Effective use of virtual grid compaction in macro-module generators},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {777--780},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317989},
  doi          = {10.1145/317825.317989},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/HillFL85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/HsuTCPT85,
  author       = {C. P. Hsu and
                  B. N. Tien and
                  K. Chow and
                  R. A. Perry and
                  J. Tang},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {{ALPS2:} a standard cell layout system for double-layer metal technology},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {443--448},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317926},
  doi          = {10.1145/317825.317926},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/HsuTCPT85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/HughesLR85,
  author       = {S. C. Hughes and
                  D. B. Lewis and
                  C. J. Rimkus},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {A technique for distributed execution of design automation tools},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {23--30},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317829},
  doi          = {10.1145/317825.317829},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/HughesLR85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/HutchingsBF85,
  author       = {Anthony F. Hutchings and
                  Richard J. Bonneau and
                  William M. Fisher},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {Integrated {VLSI} {CAD} systems at Digital Equipment Corporation},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {543--548},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317942},
  doi          = {10.1145/317825.317942},
  timestamp    = {Mon, 08 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dac/HutchingsBF85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/IachponiVBI85,
  author       = {M. Iachponi and
                  D. Vail and
                  S. Bierly and
                  A. Ignatowski},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {A hierarchical gate array architecture and design methodology},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {439--442},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317925},
  doi          = {10.1145/317825.317925},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/IachponiVBI85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Jankowski85,
  author       = {Cecelia Jankowski},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {Engineering workstation applications to systems design (panel session):
                  life above the {IC}},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {159--160},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317850},
  doi          = {10.1145/317825.317850},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/Jankowski85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/JanniI85,
  author       = {Alberto Di Janni and
                  Margherita Italiano},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {Unified user interface for a {CAD} system},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {9--15},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317827},
  doi          = {10.1145/317825.317827},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/JanniI85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/JoobbaniS85,
  author       = {Rostam Joobbani and
                  Daniel P. Siewiorek},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {{WEAVER:} a knowledge-based routing expert},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {266--272},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317869},
  doi          = {10.1145/317825.317869},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/JoobbaniS85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Joseph85,
  author       = {Robert Leonard Joseph},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {An expert systems approach to completing partially routed printed
                  circuit boards},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {523--528},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317939},
  doi          = {10.1145/317825.317939},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/Joseph85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Kalay85,
  author       = {Yehuda E. Kalay},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {A database management approach to {CAD/CAM} systems integration},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {111--116},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317843},
  doi          = {10.1145/317825.317843},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/Kalay85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/KaoFL85,
  author       = {William H. Kao and
                  Nader Fathi and
                  Chia{-}Hao Lee},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {Algorithms for automatic transistor sizing in {CMOS} digital circuits},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {781--784},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317991},
  doi          = {10.1145/317825.317991},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/KaoFL85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/KosekiY85,
  author       = {Yoshiyuki Koseki and
                  Teruhiko Yamada},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {{PLAYER:} a {PLA} design system for VLSI's},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {766--769},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317983},
  doi          = {10.1145/317825.317983},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/KosekiY85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/KowalskiT85,
  author       = {Thaddeus J. Kowalski and
                  Donald E. Thomas},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {The {VLSI} design automation assistant: what's in a knowledge base},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {252--258},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317867},
  doi          = {10.1145/317825.317867},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/KowalskiT85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/KrasniewskiA85,
  author       = {Andrzej Krasniewski and
                  Alexander Albicki},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {Simulation-free estimation of speed degradation in {NMOS} self-testing
                  circuits for {CAD} applications},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {808--811},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.318001},
  doi          = {10.1145/317825.318001},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/KrasniewskiA85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/KrekelbergSJ85,
  author       = {David E. Krekelberg and
                  Gerald E. Sobelman and
                  Chu S. Jhon},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {Yet another silicon compiler},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {176--182},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317854},
  doi          = {10.1145/317825.317854},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/KrekelbergSJ85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/KuoCH85,
  author       = {Yue{-}Sun Kuo and
                  C. Chen and
                  T. C. Hu},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {A heuristic algorithm for {PLA} block folding},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {744--747},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317975},
  doi          = {10.1145/317825.317975},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/KuoCH85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/LaarhovenAD85,
  author       = {Peter J. M. van Laarhoven and
                  Emile H. L. Aarts and
                  Marc Davio},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {PHIPLA-a new algorithm for logic minimization},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {739--743},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317973},
  doi          = {10.1145/317825.317973},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/LaarhovenAD85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/LathropK85,
  author       = {Richard H. Lathrop and
                  Robert S. Kirk},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {An extensible object-oriented mixed-mod functional simulation system},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {630--636},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317956},
  doi          = {10.1145/317825.317956},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/LathropK85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Lemaire85,
  author       = {Louise T. Lemaire},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {{GAMMA:} a fast prototype design, build, and test process},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {773--776},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317987},
  doi          = {10.1145/317825.317987},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/Lemaire85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Lewis85,
  author       = {David M. Lewis},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {A hardware engine for analogue mode simulation of {MOS} digital circuits},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {345--351},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317911},
  doi          = {10.1145/317825.317911},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/Lewis85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Lowell85,
  author       = {John Lowell},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {Computer aided design for analog applications (panel session): an
                  assessment},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {554},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317944},
  doi          = {10.1145/317825.317944},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/Lowell85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/LowensteinW85,
  author       = {Al Lowenstein and
                  Greg Winter},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {Importance of standards (tutorial session)},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {88--93},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317839},
  doi          = {10.1145/317825.317839},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/LowensteinW85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Marek-Sadowska85,
  author       = {Malgorzata Marek{-}Sadowska},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {Two-dimensional router for double layer layout},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {117--123},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317844},
  doi          = {10.1145/317825.317844},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/Marek-Sadowska85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Mata85,
  author       = {Jos{\'{e}} Monteiro da Mata},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {{ALLENDE:} a procedural language for the hierarchical specification
                  of {VLSI} layouts},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {183--189},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317855},
  doi          = {10.1145/317825.317855},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/Mata85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Matson85,
  author       = {Mark D. Matson},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {Macromodeling of digital {MOS} {VLSI} Circuits},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {141--151},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317848},
  doi          = {10.1145/317825.317848},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/Matson85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/McLellan85,
  author       = {Paul McLellan},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {Effective data management for {VLSI} design},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {652--657},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317959},
  doi          = {10.1145/317825.317959},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/McLellan85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/MeshkinpourE85,
  author       = {F. Meshkinpour and
                  Milos D. Ercegovac},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {A functional language for description and design of digital systems:
                  sequential constructs},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {238--244},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317865},
  doi          = {10.1145/317825.317865},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/MeshkinpourE85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/MiyoshiKTNA85,
  author       = {Masayuki Miyoshi and
                  Yoshiharu Kazama and
                  Osamu Tada and
                  Yasuo Nagura and
                  Nobutaka Amano},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {Speed up techniques of logic simulation},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {812--815},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.318003},
  doi          = {10.1145/317825.318003},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/MiyoshiKTNA85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/MokkaralaFA85,
  author       = {Vighneswara Row Mokkarala and
                  Antony Fan and
                  Ravi Apte},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {A unified approach to simulation and timing verification at the functional
                  level},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {757--761},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317981},
  doi          = {10.1145/317825.317981},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/MokkaralaFA85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/MuraokaIKMH85,
  author       = {Michiaki Muraoka and
                  Hirokazu Iida and
                  Hideyuki Kikuchihara and
                  Michio Murakami and
                  Kazuyuki Hirakawa},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {{ACTAS:} an accurate timing analysis system for {VLSI}},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {152--158},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317849},
  doi          = {10.1145/317825.317849},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/MuraokaIKMH85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/NaharSS85,
  author       = {Surendra Nahar and
                  Sartaj Sahni and
                  Eugene Shragowitz},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {Experiments with simulated annealing},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {748--752},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317977},
  doi          = {10.1145/317825.317977},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/NaharSS85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/NgJ85,
  author       = {Tak{-}Kwong Ng and
                  S. Lennart Johnsson},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {Generation of layouts from {MOS} circuit schematics: a graph theoretic
                  approach},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {39--45},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317831},
  doi          = {10.1145/317825.317831},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/NgJ85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/NodaYFKKF85,
  author       = {Shigeo Noda and
                  Hitoshi Yoshizawa and
                  Etsuko Fukuda and
                  Haruo Kato and
                  Hiroshi Kawanishi and
                  Takashi Fujii},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {Automatic layout algorithms for function blocks of {CMOS} gate arrays},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {46--52},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317832},
  doi          = {10.1145/317825.317832},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/NodaYFKKF85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/ObermeierK85,
  author       = {Fred W. Obermeier and
                  Randy H. Katz},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {{PLA} driver selection: an analytic approach},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {798--802},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317998},
  doi          = {10.1145/317825.317998},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/ObermeierK85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/OdawaraIW85,
  author       = {Gotaro Odawara and
                  Kazuhiko Iijima and
                  Kazutoshi Wakabayashi},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {Knowledge-based placement technique for printed wiring boards},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {616--622},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317954},
  doi          = {10.1145/317825.317954},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/OdawaraIW85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/OdawaraTO85,
  author       = {Gotaro Odawara and
                  Masahiro Tomita and
                  Ichiro Ogata},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {Diagrammatic function description of microprocessor and data-flow
                  processor},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {731--734},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317971},
  doi          = {10.1145/317825.317971},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/OdawaraTO85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/OgiharaSM85,
  author       = {Takuji Ogihara and
                  Shuichi Saruyama and
                  Shinichi Murai},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {{PATEGE:} an automatic {DC} parametric test generation system for
                  series gated {ECL} circuits},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {212--218},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317859},
  doi          = {10.1145/317825.317859},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/OgiharaSM85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Pachter85,
  author       = {Roger J. Pachter},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {Computer aided {(CA)} tools integration and related standards development
                  in a multi-vendor universe (panel session)},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {94--95},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317840},
  doi          = {10.1145/317825.317840},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/Pachter85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/ParkP85,
  author       = {Nohbyung Park and
                  Alice C. Parker},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {Synthesis of optimal clocking schemes},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {489--495},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317933},
  doi          = {10.1145/317825.317933},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/ParkP85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/PerryMP85,
  author       = {Steve Perry and
                  Mike Mitchell and
                  David J. Pilling},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {Yield analysis modeling},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {425--428},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317922},
  doi          = {10.1145/317825.317922},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/PerryMP85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/PidgeonF85,
  author       = {Christopher W. Pidgeon and
                  Peter A. Freeman},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {Development concerns for a software design quality expert system},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {562--568},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317946},
  doi          = {10.1145/317825.317946},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/PidgeonF85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/PierroD85,
  author       = {John A. Pierro and
                  George F. Donnellan},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {Mechanical design/analysis integration on Apollo workstations},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {96--101},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317841},
  doi          = {10.1145/317825.317841},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/PierroD85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/RajanT85,
  author       = {Jayanth V. Rajan and
                  Donald E. Thomas},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {Synthesis by delayed binding of decisions},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {367--373},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317914},
  doi          = {10.1145/317825.317914},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/RajanT85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/RamayyaKP85,
  author       = {Kumar Ramayya and
                  Anshul Kumar and
                  Surendra Prasad},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {An automated data path synthesizer for a canonic structure, implementable
                  in {VLSI}},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {381--387},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317916},
  doi          = {10.1145/317825.317916},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/RamayyaKP85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/ReddyRA85,
  author       = {Madhukar K. Reddy and
                  Sudhakar M. Reddy and
                  Prathima Agrawal},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {Transistor level test generation for {MOS} circuits},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {825--828},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.318007},
  doi          = {10.1145/317825.318007},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/ReddyRA85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Reid-Green85,
  author       = {Keith S. Reid{-}Green},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {Cost-effective computer-aided manufacturing of prototype parts},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {326--329},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317878},
  doi          = {10.1145/317825.317878},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/Reid-Green85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/RogersRD85,
  author       = {C. Durward Rogers and
                  Jonathan B. Rosenberg and
                  Stephen W. Daniel},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {MCNC's vertically integrated symbolic design system},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {62--68},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317834},
  doi          = {10.1145/317825.317834},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/RogersRD85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/RoseBT85,
  author       = {Charles W. Rose and
                  Marcus Buchnen and
                  Yatin Trivedi},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {Integrating stochastic performance analysis with system design tools},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {482--488},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317932},
  doi          = {10.1145/317825.317932},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/RoseBT85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Rosenberg85,
  author       = {Jonathan B. Rosenberg},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {Auto-interactive schematics to layout translation},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {82--87},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317837},
  doi          = {10.1145/317825.317837},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/Rosenberg85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/RowenH85,
  author       = {Christopher Rowen and
                  John L. Hennessy},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {{SWAMI:} a flexible logic implementation system},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {169--175},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317853},
  doi          = {10.1145/317825.317853},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/RowenH85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/RoyDCG85,
  author       = {C. Roy and
                  Louis{-}Philippe Demers and
                  Eduard Cerny and
                  Jan Gecsei},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {An object-oriented swicth-level simulator},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {623--629},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317955},
  doi          = {10.1145/317825.317955},
  timestamp    = {Tue, 27 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/RoyDCG85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/RoyalHB85,
  author       = {Natalie Royal and
                  John Hunter and
                  Irene Buchanan},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {A case study in process independence},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {591--596},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317950},
  doi          = {10.1145/317825.317950},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/RoyalHB85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Rutenbar85,
  author       = {Rob A. Rutenbar},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {Future directions for {DA} machine research (panel session)},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {496--497},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317934},
  doi          = {10.1145/317825.317934},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/Rutenbar85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/SakataK85,
  author       = {Takeshi Sakata and
                  Aritoyo Kishimoto},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {A circuit comparison system for bipolar linear {LSI}},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {429--434},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317923},
  doi          = {10.1145/317825.317923},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/SakataK85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/SamadD85,
  author       = {Tariq Samad and
                  Stephen W. Director},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {Towards a natural language interface for {CAD}},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {2--8},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317826},
  doi          = {10.1145/317825.317826},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/SamadD85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/SaucierT85,
  author       = {Gabriele Saucier and
                  Ghislaine Thuau},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {Systematic and optimized layout of {MOS} cells},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {53--61},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317833},
  doi          = {10.1145/317825.317833},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/SaucierT85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Schaefer85,
  author       = {Thomas J. Schaefer},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {A transistor-level logic-with-timing simulator for {MOS} circuits},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {762--765},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317982},
  doi          = {10.1145/317825.317982},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/Schaefer85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/SchefferS85,
  author       = {Louis Scheffer and
                  Ronny Soetarman},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {Hierarchical analysis of {IC} artwork with user defined abstraction
                  rules},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {293--298},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317873},
  doi          = {10.1145/317825.317873},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/SchefferS85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/SchellM85,
  author       = {Eric Schell and
                  M. Ray Mercer},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {{CADTOOLS:} a {CAD} algorithm development system},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {658--666},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317960},
  doi          = {10.1145/317825.317960},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/SchellM85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Schutzman85,
  author       = {Howard B. Schutzman},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {{ICHABOD:} a data base manager for design automation applications},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {569--576},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317947},
  doi          = {10.1145/317825.317947},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/Schutzman85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/ScottO85,
  author       = {Walter S. Scott and
                  John K. Ousterhout},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {Magic's circuit extractor},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {286--292},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317872},
  doi          = {10.1145/317825.317872},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/ScottO85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/ShaD85,
  author       = {Lu Sha and
                  Robert W. Dutton},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {An analytical algorithm for placement of arbitrarily sized rectangular
                  blocks},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {602--608},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317952},
  doi          = {10.1145/317825.317952},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/ShaD85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/ShteingartNG85,
  author       = {Semyon Shteingart and
                  Andrew W. Nagle and
                  John Grason},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {{RTG:} automatic register level test generator},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {803--807},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317999},
  doi          = {10.1145/317825.317999},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/ShteingartNG85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Simmons85,
  author       = {J. P. Simmons Jr.},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {Early verification of prototype tooling for {IC} designs (tutorial)},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {161},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317851},
  doi          = {10.1145/317825.317851},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/Simmons85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Smith85,
  author       = {Thomas R. Smith},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {A data architecture for an uncertain design and manufacturing environment},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {312--318},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317876},
  doi          = {10.1145/317825.317876},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/Smith85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/SmithFC85,
  author       = {Connie U. Smith and
                  Geoffrey A. Frank and
                  John L. Cuadrado},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {An architecture design and assessment system for software/hardware
                  codesign},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {417--424},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317921},
  doi          = {10.1145/317825.317921},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/SmithFC85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/SmtihD85,
  author       = {Phillip Smtih and
                  Stephen W. Daniel},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {The {VIVID} system approach to technology independence: the matster
                  technology file system},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {76--81},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317836},
  doi          = {10.1145/317825.317836},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/SmtihD85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/SongC85,
  author       = {J. N. Song and
                  Y. K. Chen},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {An algorithm for one and half layer channel routing},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {131--136},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317846},
  doi          = {10.1145/317825.317846},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/SongC85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/SpiraH85,
  author       = {Philip M. Spira and
                  Carl Hage},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {Hardware acceleration of gate array layout},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {359--366},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317913},
  doi          = {10.1145/317825.317913},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/SpiraH85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/SteinwegAPN85,
  author       = {Russel L. Steinweg and
                  Susan J. Aguirre and
                  Kerry Pierce and
                  Scott Nance},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {Silicon compilation of gate array bases},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {435--438},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317924},
  doi          = {10.1145/317825.317924},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/SteinwegAPN85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Strojwas85,
  author       = {Andrzej J. Strojwas},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {{CMU-CAM} system},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {319--325},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317877},
  doi          = {10.1145/317825.317877},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/Strojwas85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/SuzukiTSK85,
  author       = {Shigenobu Suzuki and
                  Kazutoshi Takahashi and
                  Takao Sugimoto and
                  Mikio Kuwata},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {Integrated design system for supercomputer {SX-1/SX-2}},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {536--542},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317941},
  doi          = {10.1145/317825.317941},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/SuzukiTSK85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/TaylorBS85,
  author       = {Susan L. Taylor and
                  Roderic Beresford and
                  Theodore Sabety},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {Layout design-lessons from the Jedi designer (tutorial session)},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {337},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317880},
  doi          = {10.1145/317825.317880},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/TaylorBS85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Tendolkar85,
  author       = {Nandakumar N. Tendolkar},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {Analysis of timing failures due to random {AC} defects in {VLSI} modules},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {709--714},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317967},
  doi          = {10.1145/317825.317967},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/Tendolkar85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/TeraiHK85,
  author       = {Hidekazu Terai and
                  Michiyoshi Hayase and
                  Tokinori Kozawa},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {A routing procedure for mixed array of custom macros and standard
                  cells},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {503--508},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317936},
  doi          = {10.1145/317825.317936},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/TeraiHK85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Tucker85,
  author       = {Beth W. Tucker},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {Electronic CAD/CAM-is it revolution or evolution (tutorial session)},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {830--834},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.318008},
  doi          = {10.1145/317825.318008},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/Tucker85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/TygarE85,
  author       = {J. Doug Tygar and
                  Ron Ellickson},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {Efficient netlist comparison using hierarchy and randomization},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {702--708},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317966},
  doi          = {10.1145/317825.317966},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/TygarE85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/VlierbergheRH85,
  author       = {Stef van Vlierberghe and
                  Jeff Rijmenants and
                  Walter Heyns},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {Symbolic hierarchical artwork generation system},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {789--793},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317994},
  doi          = {10.1145/317825.317994},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/VlierbergheRH85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/WalkerT85,
  author       = {Robert A. Walker and
                  Donald E. Thomas},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {A model of design representation and synthesis},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {453--459},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317928},
  doi          = {10.1145/317825.317928},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/WalkerT85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/WayneB85,
  author       = {Michael R. Wayne and
                  Susan M. Braun},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {Looking for Mr. "Turnkey"},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {405--409},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317919},
  doi          = {10.1145/317825.317919},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/WayneB85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/WeiS85,
  author       = {Ruey{-}Sing Wei and
                  Alberto L. Sangiovanni{-}Vincentelli},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {{PLATYPUS:} a {PLA} test pattern generation tool},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {197--203},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317856},
  doi          = {10.1145/317825.317856},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/WeiS85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/WinslettBPW85,
  author       = {Marianne Winslett Wilkins and
                  Richard Berlin and
                  Thomas H. Payne and
                  Gio Wiederhold},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {Relational and entity-relationship model databases and specialized
                  design files in {VLSI} design},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {410--416},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317920},
  doi          = {10.1145/317825.317920},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/WinslettBPW85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Wong85,
  author       = {Yiwan Wong},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {Hierarchical circuit verification},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {695--701},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317965},
  doi          = {10.1145/317825.317965},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/Wong85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Wunderlich85,
  author       = {Hans{-}Joachim Wunderlich},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {{PROTEST:} a tool for probabilistic testability analysis},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {204--211},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317858},
  doi          = {10.1145/317825.317858},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/Wunderlich85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/YoffaH85,
  author       = {Ellen J. Yoffa and
                  Peter S. Hauge},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {{ACORN:} a local customization approach to {DCVS} physical design},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {32--38},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317830},
  doi          = {10.1145/317825.317830},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/YoffaH85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/ZaraH85,
  author       = {Robert V. Zara and
                  David R. Henke},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {Building a layered database for design automation},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {645--651},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317958},
  doi          = {10.1145/317825.317958},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/ZaraH85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/ZaraRNS85,
  author       = {Robert V. Zara and
                  Kevin Rose and
                  Ghulam Nurie and
                  Harish Sarin},
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {An abstract machine data structure for non-procedural functional models},
  booktitle    = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  pages        = {753--756},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/317825.317979},
  doi          = {10.1145/317825.317979},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/ZaraRNS85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dac/1985,
  editor       = {Hillel Ofek and
                  Lawrence A. O'Neill},
  title        = {Proceedings of the 22nd {ACM/IEEE} conference on Design automation,
                  {DAC} 1985, Las Vegas, Nevada, USA, 1985},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {http://dl.acm.org/citation.cfm?id=317825},
  isbn         = {0-8186-0635-5},
  timestamp    = {Wed, 30 Nov 2011 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/1985.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics