Daniel Weise. Functional Verification of MOS Circuits. In DAC. pages 265-270, 1987. [doi]
@inproceedings{Weise87, title = {Functional Verification of MOS Circuits}, author = {Daniel Weise}, year = {1987}, doi = {10.1145/37888.37928}, url = {http://doi.acm.org/10.1145/37888.37928}, researchr = {https://researchr.org/publication/Weise87}, cites = {0}, citedby = {0}, pages = {265-270}, booktitle = {DAC}, }