Evguenii I. Goldberg, Yuji Kukimoto, Robert K. Brayton. Combinational Verification based on High-Level Functional Specifications. In 1998 Design, Automation and Test in Europe (DATE 98), February 23-26, 1998, Le Palais des Congrès de Paris, Paris, France. pages 803, IEEE Computer Society, 1998. [doi]
@inproceedings{GoldbergKB98, title = {Combinational Verification based on High-Level Functional Specifications}, author = {Evguenii I. Goldberg and Yuji Kukimoto and Robert K. Brayton}, year = {1998}, url = {http://csdl.computer.org/comp/proceedings/date/1998/8359/00/83590803abs.htm}, tags = {rule-based}, researchr = {https://researchr.org/publication/GoldbergKB98}, cites = {0}, citedby = {0}, pages = {803}, booktitle = {1998 Design, Automation and Test in Europe (DATE 98), February 23-26, 1998, Le Palais des Congrès de Paris, Paris, France}, publisher = {IEEE Computer Society}, }