Extended AIGER Format for Synthesis
نویسنده
چکیده
We extend the AIGER format, as used in HWMCC, to a format that is suitable to define synthesis problems with safety specifications. We recap the original format and define one format for posing synthesis problems and one for solutions of synthesis problems in this setting.
منابع مشابه
The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results
We report on the benchmarks, participants and results of the third reactive synthesis competition (SYNTCOMP 2016). The benchmark library of SYNTCOMP 2016 has been extended to benchmarks in the new LTL-based temporal logic synthesis format (TLSF), and 2 new sets of benchmarks for the existing AIGER-based format for safety specifications. The participants of SYNTCOMP 2016 can be separated accordi...
متن کاملProgress Report on Development of VeriABC
This report gives some details on our development of a front-end tool, VeriABC, for SystemVerilog/VHDL designs for both synthesis and verification applications. VeriABC interfaces with a commercial front-end parser and analyzer, Verific, to produce finite-state machine models. VeriABC processes the Verific generated netlist database to generate an AIGER model with box/bundle annotations represe...
متن کاملEnhancing ABC for stabilization verification of SystemVerilog/VHDL models
We describe a tool which combines a commercial front-end with a version of the model checker, ABC, enhanced to handle a subset of LTL properties. Our tool, VeriABC, provides a solution at the RTL level and produces models for synthesis and formal verification purposes. We use Verific (a commercial software) as the generic parser platform for SystemVerilog and VHDL designs. VeriABC traverses the...
متن کاملApproximate input sensitive algorithms for point pattern matching
Article history: Received 31 January 2009 Received in revised form 1 May 2009 Accepted 17 May 2009
متن کاملRepetition Maximization based Texture Rectification
Many photographs are taken in perspective. Techniques for rectifying resulting perspective distortions typically rely on the existence of parallel lines in the scene. In scenarios where such parallel lines are hard to automatically extract or manually annotate, the unwarping process remains a challenge. In this paper, we introduce an automatic algorithm to rectifying images containing textures ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1405.5793 شماره
صفحات -
تاریخ انتشار 2014