160
Voted
FMCAD
15 years 5 months 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...
96
Voted
FMCAD
15 years 5 months ago
2006 Springer 105
Voted
FMCAD
15 years 5 months 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...
122
Voted
FMCAD
15 years 5 months 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...
125
Voted
FMCAD
15 years 5 months 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