News

Abstract: In this paper we present a new testing tool for safety critical applications described in Function Block Diagram (FBD) language aimed to support both a model and a search-based approach.
Toshiba Corporation recently announced the development of a compact MOS-Varactor (1) simulation model that delivers high level accuracy from DC to the millimeter wave (60 GHz) region. The new model ...
Abstract: In this paper we present a new testing tool for safety critical applications described in Function Block Diagram (FBD) language aimed to support both a model and a search-based approach.