Development of test programs and analysis of the results of their execution is the basic approach to verification of microprocessors at the system level. There is a variety of methods for the automation of test genera...
详细信息
Development of test programs and analysis of the results of their execution is the basic approach to verification of microprocessors at the system level. There is a variety of methods for the automation of test generation, starting with the generation of random code and ending with directed model-based test generation. However, there is no cure-all method. In practice, combinations of various complementary techniques are used. Unfortunately, no solution for the integration of various test generation methods into a unified environment is currently available. To test a microprocessor, verification engineers are forced to use many different test generators, which results in a number of difficulties, such as (1) the necessity to ensure the compatibility of tool configurations (in each tool, a specific description of the target microprocessor is used, which leads to duplication of information);(2) the necessity to develop utilities for integration tools (different tools have different interfaces and use different data formats). This paper describes a concept of extensible environment for test program generation for microprocessors. This environment provides a unified approach for test generation;it supports widespread test generation techniques, and can be extended by new testing tools. The proposed concept was partially implemented in MicroTESK (microprocessor T Esting and Specification Kit).
Article is reporting on a cheap access system option implemented within an educational microprocessor development kit environment. That development kit serves generally for programming skills training aimed at micropr...
详细信息
This gesture recognizer, developed by students in a third-year microprocessor-based laboratory course, takes Wii remote (Wiimote) as an input device to estimate the movements of the user and to compare the detected tr...
详细信息
This gesture recognizer, developed by students in a third-year microprocessor-based laboratory course, takes Wii remote (Wiimote) as an input device to estimate the movements of the user and to compare the detected trajectory with the previously learnt movements, in order to carry out the associated actions. Such a cheap state-of-the-art wireless user interface is very attractive for the students and can be used in many interactive applications, from robotics to virtual reality and multimedia presentations. By combining commercially-available hardware, pattern-matching techniques and programming skills, we are able to foster students' interest on developing innovative potentiallymarketable systems. This freeware project, implemented as a configurable publicly-available library, can be adapted to the needs of any course or student. In our laboratory this open-source DLL is used for remotely controlling a robot (based on an open-hardware Arduino platform), using a PC and the Wiimote, although the DLL can be integrated in any C, C++, Java or C# project. A GUI application (based on a Model-View-Presenter paradigm) is also provided and can be used as a template for new applications or just for debugging purposes. Although the developed application only uses data from the accelerometers, data from the infrared camera and buttons of the Wiimote is also available.
The article presents a general-purpose multicore processor architecture called the Bulk Multicore, which is optimized for maximum programmability. The need for hardware architecture to enable a programmable environmen...
详细信息
The article presents a general-purpose multicore processor architecture called the Bulk Multicore, which is optimized for maximum programmability. The need for hardware architecture to enable a programmable environment is noted, mentioning that programmability should ensure that the architecture is capable of high efficiency without requiring the programmer to manage low-level tasks and that the potential for parallel programming errors is minimized. The Bulk Multicore's satisfaction of these needs is described, noting its novel support for scalable hardware cache coherence, its inclusion of high-performance sequential memory consistency, and its introduction of novel hardware primitives that can support the building of an advanced program development and debugging environment.
This paper proposes Web-Based Training with a remote-control embedded system via the Internet. The procedure for developing software consists of coding, compiling, testing on a simulator and testing on a target system...
详细信息
This paper proposes Web-Based Training with a remote-control embedded system via the Internet. The procedure for developing software consists of coding, compiling, testing on a simulator and testing on a target system. The final testing on a target system is most important in developing an embedded system. A remote-control embedded system via the Internet is developed. Firstly, learners study the structure of the microprocessor, programming technique and testing technique on a simulator in a class. Then they can test their own program on a target system using this remote system. This system is attractive and important for learners when the target system includes peripherals such as motors, A/D and D/A converters, because the learner's program could be confirmed by a simulator, however there will be some difference between the theoretical D/A output voltage and the actual one. The proto-type system was set up in a laboratory and connected to the Internet.
暂无评论