Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Dinesh Chhatani"'
Autor:
Tanmay Haldankar, Dinesh Chhatani, Zurab Khasidashvili, Rakesh Mistry, Carl-Johan H. Seger, Rajkumar Gajavelly, Supratik Chakraborty
Publikováno v:
Formal Methods in System Design. 50:317-352
Symbolic trajectory evaluation (STE) is a model checking technique that has been successfully used to verify many industrial designs. Existing implementations of STE reason at the level of bits, allowing signals in a circuit to take values from a lat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c7bf08bf618cefb0eb5081af648f462c
https://doi.org/10.1007/s10703-017-0268-9
https://doi.org/10.1007/s10703-017-0268-9
Autor:
Rakesh Mistry, Zurab Khasidashvili, Tanmay Haldankar, Rajkumar Gajavelly, Dinesh Chhatani, Supratik Chakraborty, Carl-Johan H. Seger
Publikováno v:
Computer Aided Verification ISBN: 9783319216676
CAV (2)
CAV (2)
Symbolic trajectory evaluation (STE) is a model checking technique that has been successfully used to verify industrial designs. Existing implementations of STE, however, reason at the level of bits, allowing signals to take values in \(\{0, 1, X\}\)
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::38390e8d6e06293e4e92ea7dc56764a9
https://doi.org/10.1007/978-3-319-21668-3_8
https://doi.org/10.1007/978-3-319-21668-3_8
