News

C++TESK Testing ToolKit to be presented at DAC 2014

Added by Alexander Kamkin over 3 years ago

C++TESK Testing ToolKit will be presented at the IP Track, University Booth and PhD Forum of the Design Automation Conference (DAC) - the premier conference for design and automation of electronic systems. The conference will take place on June 1-5 in San Francisco, CA, USA.

DAC offers outstanding training, education, exhibits and superb networking opportunities for designers, researchers, tool developers and vendors. The conference is sponsored by the Association for Computing Machinery (ACM), the Electronic Design Automation Consortium (EDA Consortium), and the Institute of Electrical and Electronics Engineers (IEEE), and is supported by ACM's Special Interest Group on Design. Read more...

C++TESK Testing ToolKit v1.0.24 released

Added by Mikhail Chupilko over 3 years ago

C++TESK Testing ToolKit v1.0.24 has been released. The following things have been done.

  • SGL (Simple Graph Library) has been implemented
  • FSM test engine has been refactored
  • Typed message fields have been supported
  • PFSM (Probabilitic FSM) and FSM2 (FSM Pairs) test engines have been added

The toolkit can be downloaded from the page http://forge.ispras.ru/projects/cpptesk-toolkit/files.

C++TESK Testing ToolKit v1.0.23 released

Added by Mikhail Chupilko almost 4 years ago

C++TESK Testing ToolKit v1.0.23 has been released. The following things have been done.

  • MinGW is now supported
  • Diagnostics subsystem has been improved
  • Minor bugs have been corrected
  • Support of configuration files has been improved
  • Documentation has been moved to Wiki @ forge.ispras.ru/projects/cpptesk-toolkit

The toolkit can be downloaded from the page http://forge.ispras.ru/projects/cpptesk-toolkit/files.

C++TESK Testing ToolKit v1.0.22 released

Added by Alexander Kamkin over 4 years ago

C++TESK Testing ToolKit v1.0.22 has been released. The following things have been done.

  • Diagnostics subsystem has been seriously refactored
  • Multimodel facilities have been debugged
  • Cache coherence checking example has been updated
  • Support of configuration files has been added
  • Lagged Fibonacci generator has been implemented

The toolkit can be downloaded from the page http://forge.ispras.ru/projects/cpptesk-toolkit/files.

C++TESK and MicroTESK presented at DAC 2013

Added by Alexander Kamkin over 4 years ago

C++TESK and MicroTESK hardware verification toolkits were presented at the University Booth exhibition of the Design Automation Conference - the premier event for the design of electronic circuits and systems, electronic design automation (EDA), embedded systems and software (ESS), and intellectual property (IP). The conference took place on 2-6 June, 2013 in Austin, TX, USA (the city, which was nicknamed "the Silicon Hills" in the 1990s because of its unique hi-tech industry).

The conference is sponsored by the Association for Computing Machinery (ACM), the Electronic Design Automation Consortium (EDA Consortium), the Institute of Electrical and Electronics Engineers (IEEE) and ACM's Special Interest Group on Design. Read more...

C++TESK Testing ToolKit v1.0.21 released

Added by Alexander Kamkin almost 5 years ago

C++TESK Testing ToolKit v1.0.21 has been released. The following things have been done.

  • Process table and scheduler have been refactored
  • Buffering of implementation reactions has been implemented
  • Support of pipelined implementation reactions has been added
  • Experimental facilities for FSM description have been included
  • Failure diagnostics has been improved

The toolkit can be downloaded from the page http://forge.ispras.ru/projects/cpptesk-toolkit/files.

Bugless New Year!

C++TESK Testing ToolKit v1.0.20 released

Added by Alexander Kamkin over 5 years ago

C++TESK Testing ToolKit v1.0.20 has been released. The following things have been done.

  • Bugs in static data initialization have been fixed
  • Source code detalization of the interface usage conflicts has been implemented
  • Support of project building from the Eclipse IDE plugin has been added
  • Support of distrubuted testing from the Eclipse IDE plugin has been added
  • Problems with test launching from the Eclipse IDE plugin have been solved

The toolkit can be downloaded from the page http://forge.ispras.ru/projects/cpptesk-toolkit/files.

C++TESK Testing ToolKit v1.0.19 released

Added by Alexander Kamkin over 5 years ago

C++TESK Testing ToolKit v1.0.19 has been released. The following things have been done.

  • macro CPPTESK_ITERATION_BEGIN_IF (IBEGIN_IF) has been implemented
  • support of local variables in CPPTESK_ITERATION_ACTION (IACTION) blocks has been done
  • engine's internal assertion 'stimulus id is out of range' has been disabled
  • some bugs in the error diagnostics subsystem has been fixed
  • Eclipse IDE plugin installation has been simplified

The toolkit can be downloaded from the page http://forge.ispras.ru/projects/cpptesk-toolkit/files.

С++TESK @ DATE 2012 University Booth

Added by Alexander Kamkin over 5 years ago

C++TESK Testing ToolKit was demonstrated at the DATE 2012 University Booth exhibition held in Dresden in 13-15 March. The presentation raised interest of researchers and practitioners from different countries including Austria, Estonia, Germany, etc.

C++TESK Testing ToolKit v1.0.18 released

Added by Alexander Kamkin over 5 years ago

C++TESK Testing ToolKit v1.0.18 has been released. The following things have been done.

  • Virtual method invariant() has been added to the message class
  • Macros for declaring arrays of interfaces have been implemented (CPPTESK_DECLARE_{INPUT|OUTPUT}_ARRAY, CPPTESK_DECLARE_{INPUT|OUTPUT}_ARRAY_2D, etc.)
  • New macros for declaring/defining interface adapters have been added (CPPTESK_DEFAULT_{INPUT|OUTPUT}_ADAPTER, CPPTESK_SET_DEFAULT_{INPUT|OUTPUT}_ADAPTER and CPPTESK_{DECLARE|DEFINE}_DEFAULT_{INPUT|OUTPUT}_ADAPTER)
  • Macros CPPTESK_SET_{IFACE|INOUT}_ADAPTER have been removed
  • New macros for randomized generation have been implemented (CPPTESK_RANDOM(_{WIDTH|FIELD|BITS|RANGE})_EXCLUDING)
  • Automatic tracking of interface usage coverage has been included
  • Macro CPPTESK_ADD_NONRANDOMIZABLE_FIELD has been added
  • Macros CPPTESK_WITH_PROBABILITY, CPPTESK_ELSE_WITH_PROBABILITY and CPPTESK_ELSE have been implemented
  • Callbacks onCycleBegin() and onCycleEnd() have been added
  • Further improvement of the Eclipse IDE plugin has been made
  • Several bugs in the error diagnostic subsystem have been fixed
  • CPPTESK_SHORT_NAMES is activated automatically if CPPTESK_SHORT_SHORT_NAMES is defined

The toolkit can be downloaded from the page http://forge.ispras.ru/projects/cpptesk-toolkit/files.

1 2 3 (1-10/28)

Also available in: Atom