154 search results - page 17 / 31 » A Formal Verification Approach for IP-based Designs |
115
click to vote
EDOC
2000
IEEE
15 years 6 months ago
2000
IEEE
Practical experience indicates that the definition of realworld workflow applications is a complex and error-prone process. Existing workflow management systems provide the means,...
SIGSOFT
2010
ACM
14 years 11 months ago
2010
ACM
Software construction has typically drawn on engineering metaphors like building bridges or cathedrals, which emphasize architecture, specification, central planning, and determin...
136
Voted
CODES
2008
IEEE
15 years 3 months ago
2008
IEEE
SystemC is widely used for modeling and simulation in hardware/software co-design. Due to the lack of a complete formal semantics, it is not possible to verify SystemC designs. In...
129
Voted
WWW
2005
ACM
16 years 2 months ago
2005
ACM
A software design is often modeled as a collection of unified Modeling Language (UML) diagrams. There are different aspects of the software system that are covered by many differe...
DAC
2003
ACM
16 years 2 months ago
2003
ACM
Verification of system designs continues to be a major challenge today. Simulation remains the primary tool for making sure that implementations perform as they should. We present...