Sciweavers

18 search results - page 4 / 4
» ismvl 2007
Sort
View
ISMVL
2007
IEEE
94views Hardware» more  ISMVL 2007»
13 years 11 months ago
Representations of Elementary Functions Using Edge-Valued MDDs
This paper proposes a method to represent elementary functions such as trigonometric, logarithmic, square root, and reciprocal functions using edge-valued multi-valued decision di...
Shinobu Nagayama, Tsutomu Sasao
ISMVL
2007
IEEE
95views Hardware» more  ISMVL 2007»
13 years 11 months ago
Simulation of Gate Circuits with Feedback in Multi-Valued Algebras
Simulation of gate circuits is an efficient method of detecting hazards and oscillations that may occur because of delays. Ternary simulation consists of two algorithms, A and B,...
Janusz A. Brzozowski, Yuli Ye
ISMVL
2007
IEEE
104views Hardware» more  ISMVL 2007»
13 years 11 months ago
Evaluation of Toggle Coverage for MVL Circuits Specified in the SystemVerilog HDL
Designing modern circuits comprised of millions of gates is a very challenging task. Therefore new directions are investigated for efficient modeling and verification of such syst...
Mahsan Amoui, Daniel Große, Mitchell A. Thor...