0-in 产品及其技术浏览

目录：
        1． 0_in 是ABV 的领导者，常常被认为是ABV 的先驱。
        2． 应用情况：
        3． 0in 支持的平台：
        4． 可以集成的verilog 仿真器：
        5． 目前支持的语言：
        6． ABV 和传统验证的对比：
        7． 0-in 的ABV 产品介绍：
        8． 什么是基于声明的验证（ABV, assertion-based verification）以及ABV 相关的背景 知识
        9． 更具体的0-in 产品

详情查看这里： 0-in 产品及其技术浏览
                              Five Hot Spots for Assertion-Based Verification