This paper presents a Boolean based symbolic model checking algorithm for the verification of analog/mixedsignal (AMS) circuits. The systems are modeled in VHDL-AMS, a hardware des...
David Walter, Scott Little, Nicholas Seegmiller, C...
Evolvable Hardware (EHW) is a new method for designing electronic circuits. However, there are several problems to solve for making high performance systems. One is the limited sca...
—This paper considers the reconstruction of structured-sparse signals from noisy linear observations. In particular, the support of the signal coefficients is parameterized by h...
— Combined Peak-to-Average Power Ratio (PAPR) reduction and Phase Noise mitigation in multicarrier systems with multiple transmit and receive antennas is considered. One attracti...
— Peak-to-Average Power Ratio (PAPR) reduction in multicarrier systems with multiple transmit and receive antennas is considered. One attractive method for reducing the PAPR is t...