Hazard simulation of sequential circuits |
| |
Authors: | Kanji Hirabayashi |
| |
Affiliation: | (1) Toshiba Corporation, Research and Development Center, 1, Komukai Toshibacho, Saiwaiku, 210 Kawasaki, Japan |
| |
Abstract: | A 7-valued logic appropriate for hazard simulation of sequential circuits is investigated in this letter. The 5-valued system of Lin and Reddy is extended to discriminate transitions with and without hazard. We assume that hazards are damped in the feed-back loop of flip-flops, and introduce a kind of filter to assure it. The application to hazard checking is demonstrated for counter circuits. |
| |
Keywords: | hazard checking logic simulation seven-valued logic |
本文献已被 SpringerLink 等数据库收录! |
|