Efficient WCRT analysis of synchronous programs using reachability

Proceedings of the 48th Design Automation Conference on - DAC '11 ◽

10.1145/2024724.2024837 ◽

2011 ◽

Cited By ~ 11

Author(s):

Matthew Kuo ◽

Roopak Sinha ◽

Partha Roop