Tohru Sasaki
ABSTRACT
A mixed level simulator, MIXS, is a logic verification tool which has multiple simulation capabilities. Main MIXS techniques are time wheel and selective trace algorithm for functional level simulation based on 'node' model concept and the linkage function of functional models, described in different detail, with network information. The mixed level simulation for large digital systems can be achieved very efficiently by using the above techniques.
- 1.H. D. Caplener and J. A. Janku "Top-Down Approach to LSI System Design", Computer design, August, 1974.Google Scholar
- 2.H. Weber,"A Tool for Computer Design" 11th Design Automation Conference Proceeding, pp.200-208, 1974. Google ScholarDigital Library
- 3.S. G. Chappell, P. R. Menon, J. F. Pellegrin and A. M. Schowe,"Functional Simulation in the LAMP system" 13th Design Automation Conference Proceeding, pp. 42-47, 1976. Google ScholarDigital Library
- 4.P. Wilcox "Digital logic simulation at the gate and functional level" 16th Design Automation Conference Proceeding, pp. 242-248, 1979. Google ScholarDigital Library
- 5.William vanCleemput, et. al., "SABLE: A Tool for generating structured, multi-level simulation" 16th Design Automation Conference Proceeding, pp. 272-279, 1979. Google ScholarDigital Library
- 6.Kawato, N. et. al., "Design and Verification of Large-Scale Computers by using DDL" 16th Design Automation Conference Proceeding, pp.360-366, 1979. Google ScholarDigital Library
- 7.Miyoshi, M. et. al., "Logic Verification System for Very Large Computers using LSIs", 16th Design Automation Conference Proceeding, pp.367-374, 1979. Google ScholarDigital Library
- 8.Ulrich, E. G., "Serial/Parallel Event Scheduling for the Simulation of Large System" ACM National Conference, pp.279-287, 1968. Google ScholarDigital Library
Index Terms
- MIXS: A mixed level simulator for large digital system logic verification
Recommendations
Conservative vs. optimistic parallel simulation of DEVS and Cell-DEVS: a comparative study
SCSC '10: Proceedings of the 2010 Summer Computer Simulation ConferenceThe conservative Parallel DEVS protocol offers a novel approach that allows conservative simulation of DEVS-based PDES systems. The protocol is based on the classical Chandy-Misra-Bryant synchronization mechanism, and it extends the DEVS abstract ...
Time-parallel multi-delay logic simulation
TMS-DEVS '16: Proceedings of the Symposium on Theory of Modeling & SimulationMulti-delay logic simulation may perform many logic simulations for each gate in the circuit during the simulation of a single input vector. Conventional event driven simulation will perform each of these gate-simulations as a separate operation, ...
Improving real-time interoperation of national defense M&S system using distributed DBMS
EDB '16: Proceedings of the Sixth International Conference on Emerging Databases: Technologies, Applications, and TheoryAs M&S (Modeling and Simulation) systems are developed in National Defense field, demand of sharing and managing simulation data in real-time during simulation is increasing. Simulation data is interchanged as FOM (Federation Object Model) type through ...
Comments