285 search results - page 40 / 57 » Performance and Functional Verification of Microprocessors |
126
Voted
ICLP
2007
Springer
15 years 7 months ago
2007
Springer
We present a static analysis that infers both upper and lower bounds on the usage that a logic program makes of a set of user-definable resources. The inferred bounds will in gener...
110
Voted
ASPDAC
2007
ACM
15 years 7 months ago
2007
ACM
In today's designs, when functional verification fails, engineers perform debugging using the provided error traces. Reducing the length of error traces can help the debugging...
110
Voted
CORR
2007
Springer
15 years 3 months ago
2007
Springer
: Making a product conform to the functional requirements indicated by the customer suppose to be able to manage the manufacturing process chosen to realise the parts. A simulation...
127
Voted
SAFECOMP
2007
Springer
15 years 9 months ago
2007
Springer
A strategy and relating activities of a software safety analysis (SSA) are presented for the software of a digital reactor protection system where software modules in the design de...
131
Voted
ICISC
2001
15 years 5 months ago
2001
Motivated by emerging needs in online interactions, we define a new type of digital signature called a `Content Extraction Signature' (CES). A CES allows the owner, Bob, of a...