WORKCRAFT is a plugin-based development system designed to create various mathematical models. It is integrated with such external tools as PETRIFY, PUNF and MPSAT and can simplify and partially automate the design or asynchronous systems. In this work we augment WORKCRAFT with a new plugin targeted at modelling, simulation and formal verification of digital circuits. We model a digital circuit...

An increasing demand on qualified IC designers requires engineering schools to train more graduates with specialty in IC design. These newly trained graduates should not only have strong fundamentals, but also good analytical and practical skills. They should be able to quickly adapt to the commercial environment and require minimum training when hired by the design firms. A twosemester project...

It's not surprisingly when entering this site to get the book. One of the popular books now is the gallium arsenide digital integrated circuit design. You may be confused because you can't find the book in the book store around your city. Commonly, the popular book will be sold quickly. And when you have found the store to buy the book, it will be so hurt when you run out of it. This is why, se...

This paper discusses architectural and circuit-level aspects related to hardware realizations of fuzzy controllers. A brief overview on fuzzy inference methods is given focusing on chip implementation. The singleton or zero-order Sugeno’s method is chosen since it offers a good trade-off between hardware simplicity and control efficiency. The CMOS microcontroller described herein processes info...