Aiming at the problems of complicated equipment types, low work efficiency in computer room and safety management whole process current dispatching automation room, research on intelligent companion tool cart with function tools is proposed. Through hardware overall structure trolley according to needs machine work, design development a three-layer provides self-cleaning operation platform for ...

The use of embedded computer systems to solve application problems requires an understanding of both the hardware platform involved and the software that customizes the hardware for the particular application. Modeling and simulation is used increasingly in developing the hardware and software of such systems. We have developed a generic framework to simulate the computer systems at the hardwar...

We describe results and status of a sub project of the Verisoft [1] project. While the Verisoft project aims at verification of a complete computer system starting with hardware and up to user applications, the goal of our sub project is an efficient hardware verification. We use the Isabelle theorem prover [2] as the major tool for hardware design and verification. Since many hardware verifica...