Abstract

Abstract
The development of communications systems demands testing. This paper presents a framework for testing on-the-fly, which relies on the definition of 3 types of tests and on their sequential execution. The ioco conformance relation was considered in order to assign verdicts. A tool prototype is also presented that supports the proposed framework. This tool, named PROFYT, was developed based on the SPIN verifier, and uses communicating FSMs to describe the specification. The test of Conference Protocol implementations was carried out on-the-fly with PROFYT and enabled us to conclude about the benefits of the test methodology proposed.

Abstract

Abstract

Abstract

Abstract
A new CMOS VLSI implementation of an asymmetric programmable sigmoid neural activation function, as well as of its derivative, is presented. It consists of two coupled PMOS and NMOS differential pairs with different programmable bias currents that set the upper and lower limits of the sigmoid. The circuit works in the weak inversion region, for low power consumption and exponential envelope, or in strong inversion to achieve higher speeds. The results obtained from the theoretical transfer function, and from the simulations of the circuit implemented in AMI's 0.35 mu m technology, show a very good match.