Project

General

Profile

News

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

Added by Alexander Kamkin almost 10 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.22 released

Added by Alexander Kamkin over 10 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 10 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 about 11 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 11 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 almost 12 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.

(1-10/29)

Also available in: Atom