SAT-based techniques in system synthesis

被引：0
|
作者：
Haubelt, C [1 ]
Teich, J [1 ]
Feldmann, R [1 ]
Monien, B [1 ]
机构：
[1] Univ Erlangen Nurnberg, D-8520 Erlangen, Germany
来源：
DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, PROCEEDINGS | 2003年
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
In this paper we show how to integrate SAT-based techniques into the task of system synthesis by regarding the the problems: (i) feasibility check and (ii) evaluation of quality.
引用
收藏
页码：1168 / 1169
页数：2
相关论文
共 50 条
  • [41] Efficient SAT-Based Techniques for Design of Experiments by Using Static Variable Ordering
    Velev, Miroslav N.
    Gao, Ping
    [J]. ISQED 2009: PROCEEDINGS 10TH INTERNATIONAL SYMPOSIUM ON QUALITY ELECTRONIC DESIGN, VOLS 1 AND 2, 2009, : 371 - 376
  • [42] SAT-Based ATL Satisfiability Checking
    Kacprzak, Magdalena
    Niewiadomski, Artur
    Penczek, Wojciech
    [J]. KR2020: PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2020, : 539 - 549
  • [43] The SAT-based approach to separation logic
    Armando, Alessandro
    Castellini, Claudio
    Giunchiglia, Enrico
    Maratea, Marco
    [J]. JOURNAL OF AUTOMATED REASONING, 2005, 35 (1-3) : 237 - 263
  • [44] SAT-based summarization for boolean programs
    Basler, Gerard
    Kroening, Daniel
    Weissenbacher, Georg
    [J]. MODEL CHECKING SOFTWARE, PROCEEDINGS, 2007, 4595 : 131 - +
  • [45] SAT-based Analysis of Sensitisable Paths
    Sauer, Matthias
    Czutro, Alexander
    Schubert, Tobias
    Hillebrecht, Stefan
    Polian, Ilia
    Becker, Bernd
    [J]. 2011 IEEE 14TH INTERNATIONAL SYMPOSIUM ON DESIGN AND DIAGNOSTICS OF ELECTRONIC CIRCUITS AND SYSTEMS (DDECS), 2011, : 93 - 98
  • [46] Interpolation and SAT-based model checking
    McMillan, KL
    [J]. COMPUTER AIDED VERIFICATION, 2003, 2725 : 1 - 13
  • [47] SAT-based analysis of cellular automata
    D'Antonio, M
    Delzanno, G
    [J]. CELLULAR AUTOMATA, PROCEEDINGS, 2004, 3305 : 745 - 754
  • [48] Logic as energy:: A SAT-Based approach
    Lima, Priscila M. V.
    Mariela, M.
    Morveli-Espinoza, M.
    Franca, Felipe M. G.
    [J]. ADVANCES IN BRAIN, VISION, AND ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2007, 4729 : 458 - +
  • [49] SAT-Based Analysis of Sensitizable Paths
    Sauer, Matthias
    Czutro, Alexander
    Schubert, Tobias
    Hillebrecht, Stefan
    Becker, Bernd
    Polian, Ilia
    [J]. IEEE DESIGN & TEST, 2013, 30 (04) : 81 - 88
  • [50] CryptoSAT: a tool for SAT-based cryptanalysis
    Lafitte, Frederic
    [J]. IET INFORMATION SECURITY, 2018, 12 (06) : 463 - 474
12345