APRICOT verification framework was presented at the University Booth of the DATE 2009 Conference and Exhibition in Nice

On Thursday, April 23rd, visitors of DATE Conference and Exhibition held this year in Nice had a chance to see a new hardware verification framework APRICOT that was jointly developed by Testonica Lab and Tallinn University of Technology (TUT) in the frames of the ELIKO Technological Development Center project.

APRICOT is an acronym for Assertions checking (monitoring), formal PRoperty checkIng, verification COverage measurement and Test pattern generation. The novelty of APRICOT lays in application of the High-Level Decision Diagrams (HLDD) design representation model advantages for simulation-based and formal verification tasks (e.g. assertion checking and code coverage analysis). Using ApricotCAD one can convert VHDL design representation to HLDDs as well as assertions described in IEEE-1850 PSL to THLDD. Further, one can simulate the design with a predetermined or random stimuli, analyze the obtained structural coverage and check assertions.

The APRICOT verification framework is easy to use due to the variety of the available interfaces to the common design formats such as VHDL, SystemC, PSL and EDIF. Recently published experimental results show the advantages of HLDD-based verification tools compared to the tools from the major EDA/CAD vendors.

Visit the APRICOT website at TUT.

Download the APRICOT poster.

Testonica Lab developed and delivered new e-Ticket booking system for one of the largest railway operators in Estonia: Edelaraudtee AS

The new system allows passengers from anywhere in the world buy tickets to the trains online paying via Estonian banks or use a 'self-service" ticket machine at larger stations to buy tickets locally.

The system was designed using the latest Java-based enterprise technologies such as Enterprise beans (EJB 3.0), JPA for persistence layer, Servlets/JSP and Spring framework as a WEB layer stuffing.

The new system is available online at http://www.edel.ee.

Edelaraudtee AS founded in 1997 is mainly known by its diesel trains, which carry passengers mainly to East-South directions in Estonia including Tallinn-Tartu line. The company offers its customers passenger and rail freight carriage services in the domestic transportation market at the best price and quality ratio.

Strategic Alliance between GOEPEL electronic and Testonica Lab

Testonica Lab has entered into an extensive strategic alliance with the German company GOEPEL electronic. GOEPEL electronic is a developer and manufacturer of innovative extended JTAG/Boundary Scan test solutions.

Within the scope of this agreement, Testonica becomes GOEPEL electronic's Centre of Expertise (COE). This includes membership in the "GÖPEL electronic Alliance Partner Network", in which more than 300 specialists are involved to ensure the worldwide customer support of GOEPEL electronic products.

Read complete press release.

Springboard for Testonica Lab organized by Connect Estonia took place in Tallinn. A board of experts was called together to evaluate the future plans of the company. For Testonica Lab, this event turned to be a very important step that helped the company refining its strategy and making several important contacts. Read more about this event in Vincent Oberle's blog.

The Springboard Programme is a process during which the development of growing and start-up companies is considerably enhanced. Such an enhancement is achieved by the involvement of considerable expertise, which is carried by the representatives of the companies belonging to the network. Read more about the Connect Estonia Springboard Programme here.

DefSim Classroom is available now!
For more information, please visit http://www.defsim.com