Combining BMC and Complementary Approximate Reachability to Accelerate Bug-Finding

Bounded Model Checking (BMC) is so far considered as the best engine for bug-finding in hardware model checking. Given a bound K, BMC can detect if there is a counterexample to a given temporal property within K steps from the initial state, thus performing a global-style search. Recently, a SAT-bas...

Celý popis

Podrobná bibliografie

Vydáno v:	2022 IEEE/ACM International Conference On Computer Aided Design (ICCAD) s. 1 - 9
Hlavní autoři:	Zhang, Xiaoyu, Xiao, Shengping, Li, Jianwen, Pu, Geguang, Strichman, Ofer
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	ACM 29.10.2022
Témata:	Adaptation models Automobiles Benchmark testing Computational modeling Design automation Hardware Model checking
ISSN:	1558-2434
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!