2935 search results - page 244 / 587 » An Integrated Approach to High Integrity Software Verificati... |
172
click to vote
EUROMICRO
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper introduces a hardware amenable algorithm for lossless data compression and a highly integrable architecture which enables Gbit/s compression using contemporary ASIC tec...
184
click to vote
POPL
2000
ACM
15 years 10 months ago
2000
ACM
with existing analysis tools. Modular reasoning principles such as abstraction, compositional refinement, and assume-guarantee reasoning are well understood for architectural hiera...
159
click to vote
ASPDAC
2007
ACM
15 years 10 months ago
2007
ACM
- Current industry trends in system design -- multiple clocks, clocks with arbitrary frequency ratios, multi-phased clocks, gated clocks, and level-sensitive latches, combined with...
164
click to vote
ISMVL
2007
IEEE
16 years 28 days ago
2007
IEEE
Designing modern circuits comprised of millions of gates is a very challenging task. Therefore new directions are investigated for efficient modeling and verification of such syst...
159
click to vote
ENTCS
2006
15 years 6 months ago
2006
Consistency checking in the CSP B approach verifies that an individual controller process, defined using a sequential non-divergent subset of CSP, never calls a B operation outsid...