Sciweavers

ENTCS
2007
81views more  ENTCS 2007»
13 years 11 months ago
Error Diagnosis in Equivalence Checking of High Performance Microprocessors
We describe techniques for diagnosing errors in formal equivalence checking of RTL and transistor level models of high performance microprocessors at Freescale Semiconductor Inc. ...
Alper Sen
ISCAS
1999
IEEE
124views Hardware» more  ISCAS 1999»
14 years 3 months ago
CMOS cryptosystem using a Lorenz chaotic oscillator
This paper presents a monolithic implementation of a cryptosystem based on the Corron and Hahs scheme [I]. The baseband chaotic encryptioddecryption system has been designed at th...
O. A. Gonzalez, Gunhee Han, José Pineda de ...