Abstract: Formal verification of high-level SystemC designs is an important and challenging problem. One has to deal with the full complexity of C++ to extract a suitable formal model (front-end ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback