Login / Signup

Predicate Abstraction of RTL Verilog Descriptions Using Constraint Logic Programming.

Tun LiYang GuoSikun LiGongJie Liu
Published in: ATVA (2005)
Keyphrases