Simulation of a Horizontal Bit-Sliced Processor Using the ISPS Architecture Simulation Facility
暂无分享,去创建一个
Constantin Halatsis | Andries van Dam | Mario Barbacci | J. Joosten | M. Letheren | A. V. Dam | C. Halatsis | M. Barbacci | M. Letheren | J. Joosten
[1] Catharinus Verkerk,et al. MICE, a fast user-microprogrammable emulator of the PDP-11 , 1980 .
[2] Peter E. Lauer,et al. Formal Behavioural Specification of Concurrent Systems Without Globality Assumptions , 1981, International Colloquium on Formalization of Programming Concepts.
[3] Constantin Halatsis,et al. Architectural considerations for a microprogrammable emulating engine using bit-slices , 1980, ISCA '80.
[6] Peter E. Lauer,et al. Verification of Concurrent Systems of Processes , 1977, International Computing Symposium.
[7] Mario Barbacci,et al. Instruction set processor specifications (ISPS): The notation and its applications , 1981, IEEE Transactions on Computers.
[8] Comprehension Grigoriadou,et al. Knowledge Representation for Automatic Technical Text , .
[9] Peter E. Lauer,et al. Two Way Channel with Disconnect , 1983, The Analysis of Concurrent Systems.