112
click to vote
FMCAD
15 years 17 days ago
2006 Springer 
The importance of re-usable Intellectual Properties (IPs) cores is increasing due to the growing complexity of today's system-on-chip and the need for rapid prototyping. In th...
FMCAD
15 years 17 days ago
2006 Springer FMCAD
15 years 17 days ago
2006 Springer 
In this paper we present a complete method for verifying properties expressed in the temporal logic CTL. In contrast to the majority of verification methods presented in recent yea...
FMCAD
15 years 17 days ago
2006 Springer
In this paper we formally specify and verify an implementation of the IEEE802.11a standard physical layer based OFDM (Orthogonal Frequency Division Multiplexing) modem using the HO...
FMCAD
15 years 17 days ago
2006 Springer
Pervasive Logic is a broad term applied to the variety of logic present in hardware designs, yet not a part of their primary functionality. Examples of pervasive logic include init...
|
Formal Methods