Sciweavers

2 search results - page 1 / 1
» A procedure for obtaining a behavioral description for the c...
Sort
View
ASPDAC
2004
ACM
83views Hardware» more  ASPDAC 2004»
13 years 10 months ago
A procedure for obtaining a behavioral description for the control logic of a non-linear pipeline
Much attention has been directed to different aspects of the design of pipelines [1,2,3,4]. Design of the control logic of non-linear pipelines has however, been considered as a su...
Hashem Hashemi Najaf-abadi
EMSOFT
2006
Springer
13 years 9 months ago
Modeling a system controller for timing analysis
Upper bounds on worst-case execution times, which are commonly called WCET, are a prerequisite for validating the temporal correctness of tasks in a real-time system. Due to the e...
Stephan Thesing