Conference paper
A new look at logic synthesis
John A. Darringer, William H. Joyner
DAC 1980
A version of the standard high level data link control protocol has been verified as an experiment with an automated verification system. This paper tries to answer questions such as: How can HDLC and its properties be represented? To what extent can they be proved? What are the main obstacles in verifying protocols like HDLC. Copyright © 1982 by The Institute of Electrical and Electronics Engineers, Inc.
John A. Darringer, William H. Joyner
DAC 1980
Chia-Yu Chen, Jungwook Choi, et al.
AAAI 2018
P. Pitrozafiropulo, Colin H. West, et al.
IEEE Transactions on Communications
Daniel Brand, Vuay S. Iyengar
IEEE TC