Skip to content

Latest commit

 

History

History
37 lines (26 loc) · 1.13 KB

README.md

File metadata and controls

37 lines (26 loc) · 1.13 KB
Raw

SPECifIC Tool

Graphical user interface to explore and integrate functional change management, verification and NLP techniques from the SPECifIC project

How to build:

For the change management we need several prerequesites:

  1. clang
  2. SystemC 2.3.1 - has to be compiled with clang and the debug symbols enabled:
  • tar zxf systemc-2.3.1.tgz
  • cd systemc-2.3.1
  • env CC=clang CXX=clang++ CPP="clang -E -g" .configure
  • make
  • make install
  • cd ..
  • sudo mv systemc-2.3.1 /usr/local/

In addition you need sbt installed for the build process (any version will do).

Configuration:

  • Please configure the paths to clang, systemc, and dwarfdump in /server/conf/application.conf (use /server/conf/reference.conf as guideline)

To start the tool, follow these simple steps:

  1. cd to this project directory (where build.sbt lies)
  2. start server with sbt run
  3. open browser and navigate to localhost:9000

Jan 2017 - Martin Ring, DFKI Bremen [email protected]