Application of Ternary Algebra to the Study of Static Hazards
Journal of the ACM (JACM)
Computer-Aided Design: Simulation of Digital Design Logic
IEEE Transactions on Computers
A Note on Three-Valued Logic Simulation
IEEE Transactions on Computers
A three-value computer design verification system
IBM Systems Journal
Hazard detection in combinational and sequential switching circuits
IBM Journal of Research and Development
| Hi-index | 0.00 |
This paper describes an application of microprogramming to improve the performance of the three-value simulation part of a logic design verification system. Emphasis is placed on developing a theory of computing three-value logic functions in such a way that independent identical functions may be computed in parallel. As a result, it is possible to simulate a number of nearly identical machines simultaneously. The following is a summary of the main sections: Section 0 defines the notation. Section 1 defines the problem of computing three-value logic functions. Section 2 gives a solution to the problem in terms of the normal Boolean functions and one auxiliary function. Section 3 gives several algorithms for computing the auxiliary function in terms of various sets of functions which may be interpreted as machine instruction sets. Section 4 extends the results to compute independent identical functions which may be used in the simulation of nearly identical machines. Section 5 gives examples of implementations on various microprogrammed machines. The theoretical results are currently being applied to an existing and heavily used design automation system. This work represents one of a number of studies being carried out to utilize microprogrammed processors as a means of constructing special purpose computing facilities.