A Compositional Model of MOS Circuits
暂无分享,去创建一个
[1] J. Hayes. A unified switching theory with applications to VLSI design , 1982, Proceedings of the IEEE.
[2] Randal E. Bryant,et al. A Switch-Level Model and Simulator for MOS Digital Systems , 1984, IEEE Transactions on Computers.
[3] Tom Melham,et al. Abstraction Mechanisms for Hardware Verification , 1988 .
[4] Glynn Winskel,et al. Relating Two Models of Hardware , 1987, Category Theory and Computer Science.
[5] Neil Weste,et al. Principles of CMOS VLSI Design , 1985 .
[6] Robin Milner,et al. A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.
[7] D. Scott. Identity and existence in intuitionistic logic , 1979 .
[8] Tom Melham,et al. Hardware Verification using Higher−Order Logic , 1986 .
[9] Andrew M. Pitts,et al. Category Theory and Computer Science , 1987, Lecture Notes in Computer Science.
[10] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.