2 search results - page 1 / 1 » Automatic formal verification of clock domain crossing signa... |
154
click to vote
ASPLOS
2004
ACM
15 years 11 months ago
2004
ACM
Multiple Clock Domain (MCD) processors are a promising future alternative to today’s fully synchronous designs. Dynamic Voltage and Frequency Scaling (DVFS) in an MCD processor ...