Simulation par calculateurs de réseaux logiques
作者： Christian Kubiak , Jean Le Saintmilon
DOI: 10.1007/BF02997941
关键词:
摘要: Une methode de simulation reseaux logiques, presentant des defauts, est exposee ici. La tient compte dispersions caracteristiques dynamiques circuits logiques utilises. Ceci, en deux temps: la detection aleas assuree par une quasi statique, c’esta-dire, portant non pas sur niveaux mais transitions entre logiques. etude dynamique approfondie ensuite effectuee pour resoudre les cas d’aleas detectes. statique presentee ici maniere detaillee ainsi que resultats du programme mettant œuvre. Deux methodes differentes d’analyse sont exposees.
springer.com
sci-hub.se 参考文章(5)
Ernst G. Ulrich, Exclusive simulation of activity in digital networks Communications of The ACM. ,vol. 12, pp. 102- 110 ,(1969) , 10.1145/362848.362870
Irvin H Yetter, High-speed fault simulation for UNIVAC 1107 computer system Proceedings of the 1968 23rd ACM national conference on -. pp. 265- 277 ,(1968) , 10.1145/800186.810587
Ernst G. Ulrich, Serial/parallel event scheduling for the simulation of large systems Proceedings of the 1968 23rd ACM national conference on -. pp. 279- 287 ,(1968) , 10.1145/800186.810588
Fred H. Hardie, Robert J. Suhocki, Design and Use of Fault Simulation for Saturn Computer Design IEEE Transactions on Electronic Computers. ,vol. EC-16, pp. 412- 429 ,(1967) , 10.1109/PGEC.1967.264644
J. S. Jephson, R. P. McQuarrie, R. E. Vogelsberg, A three-value computer design verification system IBM Systems Journal. ,vol. 8, pp. 178- 188 ,(1969) , 10.1147/SJ.83.0178