Project

General

Profile

0.2

closed

Features: IR-to-SMV translation, formal verification (model checking)

100%

68 issues   (68 closed — 0 open)

Issues by
Bug

24/24
Feature

5/5
Task

39/39
Related issues
Bug #5648: EfsmSimulator.executeAssignment -> Unsupported data type of ranged variable: (MAP LOGIC_INTEGER LOGIC_INTEGER) Actions
Bug #5684: computeExpression -> LOGIC_BOOLEAN vs (MAP LOGIC_INTEGER LOGIC_BOOLEAN) Actions
Bug #6263: Crash when test generation engine elaborates EFSMs from alu.vhd: java.lang.IllegalArgumentException Actions
Bug #6366: src/test/vhdl/example/test.vhd: Efsm.UNINITIALISED_STATE isn't supported yet Actions
Bug #6430: b14.vhd: StackOverflowError Actions
Bug #6892: support for non-zero starting bitvectors Actions
Bug #7097: 32-bit constants should be casted to appropriate values Actions
Bug #7145: cfg-rnd-testgen: take variable invariants into account Actions
Bug #7166: cfg-rnd-testgen: OutOfMemoryError at b10 (1.000.000 ticks) Actions
Bug #7412: State consistency constraint violation in ProcessSimulator Actions
Bug #7423: rnd_fsm.vhd: empty tst file Actions
Bug #7517: [cfg] CfgProcess.deepCopy() works incorrectly Actions
Bug #7576: mips16/hazard_detection_unit.v: java.lang.IllegalArgumentException: Constraint contains errors Actions
Bug #7593: mips16\data_mem.v: java.lang.IllegalArgumentException Actions
Bug #7594: ModelSim shows error when TST file contains multiple comments Actions
Bug #7720: mips16/data_mem.v: The expression to be computed (ram) contains unevaluated variables: [ram] Actions
Bug #7753: example.vhd: cannot generate SMV-based test Actions
Bug #7883: fifo_testbench.v: java.lang.NullPointerException Actions
Bug #8237: CFG random test generator works too slow on b19 Actions
Bug #8244: CGAA-to-EFSM engine falls on b05 test Actions
Bug #8245: cfg-rnd-testgen: IllegalArgumentException at minimips\pps_pf.v Actions
Bug #8283: "X <= (others => '0')" should be translated properly when X is bit vector Actions
Bug #8285: 0% coverage of EFSM transitions for b01 example Actions
Bug #8289: ITC99 b02: no resetting transition has been found Actions
Feature #8220: BV_INC6 VHDL function support Actions
Feature #8262: phase variable based approach for CFG-CGAA-EFSM optimisation Actions
Feature #8282: apply SLV detection heuristic to more than one CGAA path Actions
Feature #8304: SLR values number limit Actions
Feature #8305: EFSM state limit Actions
Task #4466: [vhdl][parser][cfg] преобразование IGSequentialWait Actions
Task #4929: [cfg][model] Добавить структуру данных для представления задержек (delay) в присваиваниях Actions
Task #5122: [parser][backend] elaborate non-blocking assignments Actions
Task #5161: [parser][cfg] Обработка циклов Actions
Task #5173: [cfg] Поддержка WaitStatement в CFG Actions
Task #5175: [vhdl][parser] IG array elaboration Actions
Task #5320: [cfg] Методы копирования вершин CFG Actions
Task #5322: [cgaa][transformer][efsm] Продумать и реализовать эвристику определения reset Actions
Task #5395: [cfg] getOnlyChild(), getOnlyParent() Actions
Task #5548: elaborate minimips modules Actions
Task #5549: [vhdl][cfg][parser] add support of instantiation Actions
Task #5689: implement test-to-Verilog printer Actions
Task #6060: Add plasma to project test suite Actions
Task #6393: migrate to EFSM model containing only concurrent assignments Actions
Task #6447: SMV-based counterexamples parser Actions
Task #6758: return state/transition coverage for the specified EFSM & test entities Actions
Task #6808: Split CFG processes into independent parts Actions
Task #6956: HDL Retrascope 0.2.1 release Actions
Task #6976: Wiki update Actions
Task #7081: xor-composition-printer Actions
Task #7096: assign process merging backend Actions
Task #7104: smv-test-parser: filter tests Actions
Task #7271: add javadoc for new methods when efsm.state.abstraction branch will be merged into master Actions
Task #7409: EFSM state abstraction (stabilization) Actions
Task #7546: Print tool execution time in milliseconds Actions
Task #7574: Efsm: deepCopy() Actions
Task #7595: GuardedAction.getGuard().getNode() -> GuardedAction.getGuardNode() Actions
Task #7597: EfsmTransition.getGuardedAction().getGuard() -> EfsmTransition.getGuard() Actions
Task #7623: HLDD-to-SMV printer with no assertions Actions
Task #7626: HDL Retrascope 0.2.2-beta release Actions
Task #7715: [refactoring] duplicate code in AssertionVariableContainer Actions
Task #7727: Flatten module instances Actions
Task #7742: enum support Actions
Task #7806: [cgaa] process - collection of diagrams Actions
Task #7906: Backend that merges "neighbour ranged" sequential 'if' statements Actions
Task #7972: empty event-free cases merging backend Actions
Task #8194: Separately solve independent sub-expressions of common AND expression Actions
Task #8288: use DFS_NO_RPT walking where it is possible Actions
Task #8293: add VeriTrans & Fortress info to NOTICE Actions