HVC
2007
Springer
14 years 5 months ago
2007
Springer
Modern hardware designs are typically based on multiple clocks. While a singly-clocked hardware design is easily described in standard temporal logics, describing a multiply-clocke...