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
Location:
United States
Year:
2010
Type:
Paper
Format:
pdf