Computing a perfect input assignment for probabilistic verification

M Teslenko, E Dubrova… - VLSI Circuits and …, 2005 - spiedigitallibrary.org
Design verification is the task of establishing that a given design meets the intended
behavior. The growing complexity of verification instances requires new methods that can …
被引用次数：20 相关文章

Computing a perfect input assignment for probabilistic verification

M Teslenko, E Dubrova, H Tenhunen - … II. Seville, SPAIN. MAY 09-11 …, 2005 - diva-portal.org
Design verification is the task of establishing that a given design meets the intended
behavior. The growing complexity of verification instances requires new methods that can …

Computing a perfect input assignment for probabilistic verification

M Teslenko, E Dubrova, H Tenhunen - … Circuits and Systems II, Pts 1 …, 2005 - swepub.kb.se
Design verification is the task of establishing that a given design meets the intended
behavior. The growing complexity of verification instances requires new methods that can …

Computing a perfect input assignment for probabilistic verification

M Teslenko, E Dubrova… - VLSI Circuits and …, 2005 - ui.adsabs.harvard.edu
Abstract Design verification is the task of establishing that a given design meets the intended
behavior. The growing complexity of verification instances requires new methods that can …

Computing a perfect input assignment for probabilistic verification

M Teslenko, E Dubrova, H Tenhunen - spiedigitallibrary.org
Design verification is the task of establishing that a given design meets the intended
behavior. The growing complexity of verification instances requires new methods that can …

[引用][C] Computing a perfect input assignment for probabilistic verification

M TESLENKO, E DUBROVA… - Proceedings of SPIE …, 2005 - pascal-francis.inist.fr
Computing a perfect input assignment for probabilistic verification CNRS Inist Pascal-Francis
CNRS Pascal and Francis Bibliographic Databases Simple search Advanced search Search by …

[引用][C] Computing a perfect input assignment for probabilistic verification

M TESLENKO, E DUBROVA, H TENHUNEN - … of SPIE--the International Society for …, 2005