Temporal Assertions in SystemC Author(s): Mikhail Moiseev, Leonid Azarenkov and Ilya Klotchkov Location: Europe Year: 2020 Type: Paper Download