Search Results for "point"

... conditions, modeling functions (writing stubs) and even interfacing with the SMT solver. The toolkit repository includes various examples of program analysis tools that could be implemented with BAP and can be used as the starting point (in addition to the tutorial) for implementing custom analyses. BAP can be used as a framework with a single bap utility that is extended with plugins or it can be used as a library embedded in a user application, which could be written in OCaml.

... resources_path in the configuration file to point to the resources directory.

Sharpulator is a multithreaded, test-driven electronics emulator written in C# 4.0. It's initial focus will be on emulating gaming consoles, with the GameBoy as a starting point. It will be written using modern software development methodologies, with the TPL Dataflow library as a backbone. It will simulate hardware functionality at a low level without sacrificing performance. The end goal for this project is to allow the ability to simulate hardware by simply dropping common components...

The OCCN project enhances SystemC2.0+ modeling by developing C++ classes for modeling user-defined or system-specific, point-to-point or multiaccess inter-module communication channels (or future network-on-chip) at various abstraction levels. To reference this work: M. Coppola, S. Curaba, M.D. Grammatikakis, R. Locatelli, G. Maruccia, and F. Papariello, "OCCN: a NoC modeling framework for design exploration", Design Automation in Europe Conf. (DATE), 2004, pp. 174--179. Available from...