Yann Zimmermann

Learn More
The suitability of the compact model HICUM for a state-of-the-art Silicon-Germanium (SiGe) heterojunction bipolar transistor (HBT) technology is evaluated with special emphasis on an efficient scalable modeling methodology. Multifinger HBTs particularly applicable to power applications are modeled. For modeling the critical self-heating effect a distributed(More)
1. INTRODUCTION This chapter presents a study of the SAE J1708 Serial Communication link described in [1]. The study is carried out in Event-B, an extension of the B method. The system is implemented and decomposed using step-wise refinement. We present how to derive with this method a cycle-accurate hardware model. The model of the communication link(More)
We present a new methodology that permits to reuse an existing hardware component that has not been developed within the B framework while maintaining a correct design flow. It consists of writing a specification of the component in B and proving that the VHDL description of the component implements the specification using the ACL2 system. This paper(More)
  • 1