A structured temporal logic language: ZYZ/SE Xie HongliangGong JieC. S. Tang Regular Papers Pages: 1 - 10
Abstract implementation of algebraic specifications in a temporal logic language Lin HuiminGong ChunXie Hongliang Regular Papers Pages: 11 - 20
Semantic specification and verification of data flow diagrams Liu TongC. S. Tang Regular Papers Pages: 21 - 31
Standard-cell placement from functional descriptions Klaus Buchenrieder Regular Papers Pages: 37 - 46
A knowledge-based approach to program synthesis from examples Zhu HongJin Lingzi Regular Papers Pages: 47 - 58
A common reasoning model and its application in knowledge-based system Zheng Fangqing Regular Papers Pages: 59 - 65
Improvements to the control techniques of sequential inference machines — From instructions to hardware organization Xing HanchengLi Chunlin Regular Papers Pages: 66 - 73
A complete critical path algorithm for test generation of combinational circuits Zhou QuanWei Daozheng Regular Papers Pages: 74 - 82
On the characterization and fault identification of sequentiallyt-diagnosable system under PMC model Guo Hengchang Regular Papers Pages: 83 - 90
TST — An algorithm for global microcode compaction with timing constraints Su BogongWang JianXia Jinshi Regular Papers Pages: 97 - 107
Construction of the model of the lambda calculus system with algebraic operators Lu RuzhanZhang ZhengSun Yongqiang Brief Papers Pages: 108 - 112