Project

General

Profile

Feature #9335

cgaa-assert-extractor engine

Added by Sergey Smolov 7 months ago. Updated 4 months ago.

Status:
New
Priority:
Normal
Category:
Engine (Extractor)
Target version:
Start date:
10/18/2018
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

Engine that extracts 'is-def' and 'is-use' constraints for every variable of every process of the design.
The extracted data should be printed to stdout in text format, like the following:

variable 'x'
============

process_1
------------
is_def_x = <SMT-LIB format formulae>
is_use_x = <SMT-LIB format formulae>

process_2
------------
....

variable 'y'
============

process_3
------------
is_def_y = <SMT-LIB format formulae>
is_use_y = <SMT-LIB format formulae>

process_4
------------
....

History

#1

Updated by Sergey Smolov 4 months ago

  • Category set to Engine (Extractor)

Also available in: Atom PDF