Learn 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)
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)
  • 1