Temporal Assertions in SystemC Author(s): Mikhail Moiseev, Leonid Azarenkov and Ilya Klotchkov Download
