Learn More
We propose a verification solution based on characteristic set of Wu's method towards SystemVerilog assertion checking over digital circuit systems. We define a suitable subset of SVAs so that an efficient polynomial modeling mechanism for both circuit descriptions and assertions can be applied. We present an algorithm framework based on the algebraic(More)
− Abstract − In this paper, we present the results of evaluating the performance of the forward link of a CDMA cellular radio system. We use a semi-analytical approach consisting of the waveform level simulation of the analog channel followed by the hidden Markov modeling of the discrete channel. The performance parameters of the discrete channel were(More)
1 School of Computer and Information Technology, Beijing Jiaotong University, Beijing 10044, China 2 School of Electronic and Information Engineering, Lanzhou Jiaotong University, Lanzhou 730070, China 3 G & S Labs, School of Software of Dalian University of Technology, Dalian 116620, China 4Guangxi Key Laboratory of Hybrid Computation and IC Design(More)
  • 1