Search Results for "b-processor"

The ECLiPSe Constraint Logic Programming System is designed for solving combinatorial optimization problems, for the development of new constraint solver technology and their hybrids, and for the teaching of modelling, solving and search techniques.

...Simple environment to run and debug firmware for AVR 8-bit microprocessors. Able to run arduino firmware. Internally this program uses the open source Simavr AVR Processor Simulator (https://github.com/buserror/simavr) and wraps all its functions in a GUI shell. Setups for firmware debugging scenarios can be created dynamically. Able to run 16MHz MCU with decent set of external parts in real time. In particular this can be used for development of CNC firmware in conjuction with its CAM frontend without access to the real hardware. ...

Hugo is a small Android library (and annotation processor plugin) that automatically logs method calls, parameters, return values, and execution time for methods annotated with @DebugLog. Instead of manually adding logging statements everywhere, you simply annotate a method and Hugo injects the logging at compile-time in debug builds, keeping release builds clean. This helps developers gain visibility into method flows, execution timing, and parameter passing without cluttering production code. ...

SkyEye is a very fast full system simulator which takes llvm as IR of dynmic compiled framework.. It can simulate series ARM, Coldfire,Mips, Powerpc, Sparc, x86, TI DSP and Blackfin DSP Processor. Also can simulate multicore system by the multicore of host. The commercial support is provided by DigiProto Co. (http://www.digiproto.com)

This is a port of the GNU C Compiler (GCC) and GNU Binutils (as, ld) for the embedded processor MSP430. Tools for debugging and download are provided (GDB, JTAG and BSL) Obsolete. See http://www.ti.com/tool/msp430-gcc-opensource or upstream GNU tools.

A set of tools relating to an educational processor used in teaching Computer Architecture at the University of Ottawa. Currently includes a working assembler and a semi-functional emulator/debugger.

QUASI is stand-alone AVR RISC processor simulator with debugging features, EDA-like GUI and plugin interface.

VICS, Verification of an Implementation Conforming to its Specification, aims to check the correctness of a refinement of the B formal method (http://www-lsr.imag.fr/B/Bsite-pages.html). More info on http://vics.sourceforge.net

A reusable gdb stub architecture for multiple processor architectures and platforms. Enables embedded systems development using GNU compiler, linker, debugger and other tools.

Simulator for 486 processor. Can be customized for embedded system emulation.