Using Assertions in an Active W ay to Design and Verify Interface between Analog and Digital B locks

Author(s):

HyunDon Kim, Jiang Long, Wesley Park, ChiHo Cha, JaeBeom Kim, Byeong Min, and KyuMyung Choi

Download