VIS Equivalence Checking for FBDs

     1. VIS Equivalence Checking
            - Check behavioral equivalence between two different FBDs
            - Paper: [NET Submitted]
     2. Visualization and Automation Supporting Tool for VIS:
            - VIS Analyzer 1.0 [download] developed (2008.08.07) by Saehoon Jung (Intern student, DSLab. in Korea Univ.)
            - Features:
                1. Automatic execution of vl2mv and VIS verification (read_blif_mv, flatten_hierarchy, seq_verify, simulate)
                2. Automatic analysis and visualization of VIS verification result using simulation
            - Paper: [2008 35th KISS Conference accepted]

< Before >

< Now >