Supervisory control of a class of discrete event processes
SIAM Journal on Control and Optimization
Design of system interface modules
ICCAD '92 1992 IEEE/ACM international conference proceedings on Computer-aided design
Synthesis of the hardware/software interface in microcontroller-based systems
ICCAD '92 1992 IEEE/ACM international conference proceedings on Computer-aided design
Increasing design quality and engineering productivity through design reuse
DAC '93 Proceedings of the 30th international Design Automation Conference
Reuse of design objects in CAD frameworks
ICCAD '94 Proceedings of the 1994 IEEE/ACM international conference on Computer-aided design
A New Interface Specification Methodology and
A New Interface Specification Methodology and
| Hi-index | 0.00 |
In this paper, a scheme has been proposed to identify under what condition a circuit, capable of performing a given set of operations/functions, can be reused while designing another circuit. This is characterized by a concept called external controllability of a function. When a function is externally controllable, the circuit executing the function, can be reused subsequently. The concept of external controllability has been formalized around finite state machine model. Also, the algorithm to verify the external controllability has been proposed.