An efficient filter-based approach for combinational verification

被引：0
|
作者：
Jain, J
Mukherjee, R
Takayama, K
机构：
来源：
FUJITSU SCIENTIFIC & TECHNICAL JOURNAL | 2000年 / 36卷 / 01期
关键词：
D O I：
暂无
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
We have developed a filter-based framework where several fundamentally different techniques can be combined to provide fully automated and efficient heuristic solutions to verification and possibly other NP-complete problems. Such an integrated methodology has been shown to be far more robust and efficient than any single existing technique on a wide variety of circuits.
引用
收藏
页码：17 / 23
页数：7
相关论文
共 50 条
  • [1] An efficient filter-based approach for combinational verification
    Mukherjee, R
    Jain, J
    Takayama, K
    Fujita, M
    Abraham, JA
    Fussell, DS
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1999, 18 (11) : 1542 - 1557
  • [2] Efficient filter-based approach for combinational verification
    Fujitsu Lab of America, Sunnyvale, United States
    IEEE Trans Comput Aided Des Integr Circuits Syst, 11 (1542-1557):
  • [3] An efficient filter-based approach for combinational verification
    Mukherjee, R
    Jain, J
    Takayama, K
    Fujita, M
    Abraham, JA
    Fussell, DS
    DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION 1999, PROCEEDINGS, 1999, : 132 - 137
  • [4] Filter-Based Stance Network for Rumor Verification
    Li, Jun
    Bin, Yi
    Ma, Yunshan
    Yang, Yang
    Huang, Zi
    Chua, Tat-Seng
    ACM TRANSACTIONS ON INFORMATION SYSTEMS, 2024, 42 (04)
  • [5] A Filter-Based Format Conversion Approach
    Jeon, Gwanggil
    Kang, SeokHoon
    Lee, Young-Sup
    CONVERGENCE AND HYBRID INFORMATION TECHNOLOGY, 2012, 310 : 559 - 565
  • [6] A Bloom Filter-based Approach for Efficient MapReduce Query Processing on Ordered Datasets
    Chen, Zhijian
    Wu, Dan
    Xie, Wenyan
    Zeng, Jiazhi
    He, Jian
    Wu, Di
    2013 INTERNATIONAL CONFERENCE ON ADVANCED CLOUD AND BIG DATA (CBD), 2013, : 93 - 98
  • [7] Efficient Filter-Based Model for Resonator Panel Absorbers
    Polychronopoulos, Spyros
    Skarlatos, Dimitris
    Mourjopoulos, John
    JOURNAL OF THE AUDIO ENGINEERING SOCIETY, 2014, 62 (1-2): : 14 - 24
  • [8] Efficient filter-based model for resonator panel absorbers
    1600, Audio Engineering Society (62): : 1 - 2
  • [9] A GABOR FILTER-BASED FEATURE POINTS MATCHING APPROACH
    Niu Li-Pi
    Shi Dong-Xin
    Yang Ying-Yun
    Zhang Wen-Hui
    PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON ADVANCED COMPUTER THEORY AND ENGINEERING (ICACTE 2009), VOLS 1 AND 2, 2009, : 1021 - 1028
  • [10] A Filter-Based Approach for Approximate Circular Pattern Matching
    Azim, Md. Aashikur Rahman
    Iliopoulos, Costas S.
    Rahman, M. Sohel
    Samiruzzaman, Mohammad
    BIOINFORMATICS RESEARCH AND APPLICATIONS (ISBRA 2015), 2015, 9096 : 24 - 35
12345