Search Results for "functional testing tool"

XLS is an open-source toolkit for building high-level hardware with a modern compiler stack that spans from a functional DSL to optimized IR and hardware generation. At the front end, DSLX lets you describe algorithms with strong typing and familiar control flow while remaining synthesis-friendly. The compiler lowers DSLX into a rich intermediate representation, applies aggressive optimization and scheduling passes, and can either JIT the design for software simulation or emit Verilog for...

With the help of the ProgramNet the user can develop plug-ins(called units) which can be connected with other units forming a net. The net has a form of a flow diagram. The resulted net can be executed in the ProgramNet for testing purposes or independently in the target platform as a final release. In order to execute a net the ProgramNet uses the kernel. The kernel executes automatically each unit in a separate thread and manages the data exchange between the units.

Protoreto is a GPL-licensed tool to create prototypes of graphical user interfaces (GUIs). NOTE: This project is not actively maintained at the moment. If you'd like to continue developing Protoreto, please send an e-mail to: wikipedian@users.sf.net

C4J is a simple, powerful and non-intrusive tool that makes it easy to add contract verification of instances and methods of any Java class or interface, with full inheritance support. C4J brings Design By Contract to Java.

The CoreASM project focuses on the design of a lean executable ASM (Abstract State Machines) language, in combination with a supporting tool environment for high-level design, experimental validation and formal verification of abstract system models.

The Distributed Real-time Embedded Analysis Method (DREAM) is a tool and method for the real-time verification and performance estimation of distributed real-time embedded (DRE) systems. Publications: http://www.ics.uci.edu/~gabe/publications.html.

Simloc is the tool intended for finding similar chunks (blocks) of code. It could be used in reverse software engineering. It is faster than SimScan, find better blocks than PMD/CPD (not just exact blocks also similar) and could be runed at GRID.

Eclipse Documentum DQL/API plug-in with the main functionality of content proposals and colour coding. As a secondary result testing things the plug-in is starting to resemble a fast hard client. A feature we lost when a certain hard client was replaced.