System-level verification of CDMA modem ASIC.

Gyeong Lyong Park Kyung Hi Chang Jae Seok Kim Kyung Soo Kim

Published in: ASP-DAC (1995)

Keyphrases

computer simulation
design methodology
higher level
formal methods
databases
learning algorithm
social networks
model checking
end to end
hardware implementation
application specific
integrated circuit