Extraction of Gate Level Models from Transistor Circuits by Four-Valued Symbolic Analysis

Randal E. Bryant. Extraction of Gate Level Models from Transistor Circuits by Four-Valued Symbolic Analysis. In ICCAD. pages 350-353, 1991.

@inproceedings{Bryant91,
  title = {Extraction of Gate Level Models from Transistor Circuits by Four-Valued Symbolic Analysis},
  author = {Randal E. Bryant},
  year = {1991},
  tags = {analysis, e-science},
  researchr = {https://researchr.org/publication/Bryant91},
  cites = {0},
  citedby = {0},
  pages = {350-353},
  booktitle = {ICCAD},
}