Finite State Machine Localisation Based on Ip Softcores Analysis
نویسندگان
چکیده
This paper deals with techniques of finite state machines (FSMs) localization in FSM-based softcore intellectual property (IP) cores described in VHDL. An approach based on compilation techniques is presented. The main goal of the FSM localisation is to supplement additional information about the softcore for the core user. Three methods and experimental results are presented in the paper together with the perspective of the future research.
منابع مشابه
Restricted cascade and wreath products of fuzzy finite switchboard state machines
A finite switchboard state machine is a specialized finite state machine. It is built by binding the concepts of switching state machines and commutative state machines. The main purpose of this paper is to give a specific algorithm for fuzzy finite switchboard state machine and also, investigates the concepts of switching relation, covering, restricted cascade products and wreath products of f...
متن کاملTest cases generation from UML state diagrams
The paper discusses the application of state diagrams in UML to class testing. A set of coverage criteria is proposed based on control and data ow in UML state diagrams and it is shown how to generate test cases satisfying these criteria from UML state diagrams. First, control ow is identiied by transforming UML state diagrams into extended nite state machines (EFSMs). The hierarchical and conc...
متن کاملImproving the Protection of Fpga Based Sequential Ip Core Designs Using Hierarchical Watermarking Technique
In recent years, Intellectual Property (IP) cores in Very Large Scale Integration (VLSI) have become an active research area as it provides a new-fangled revolution in the Electronic Design Automation industry. An IP core is a previously designed and demonstrated component that can be integrated into design. Owing to the development of IP cores, time consumption becomes less and the product can...
متن کاملTesting from Semi-independent Communicating Finite State Machines with a Slow Environment
Some systems may be modelled as a set of communicating finite state machines with a slow environment. These machines communicate through the exchange of values. While it is possible to convert such a model into one finite state machine, from which test cases can be derived, this process may lead to an explosion in the number of states. Alternatively it is possible to utilise any independence th...
متن کاملSemi-Analytical Modeling of Electromagnetic Performances in Magnet Segmented Spoke-Type Permanent Magnet Machine Considering Infinite and Finite Soft-Magnetic Material Permeability
In this paper, we present a semi-analytical model for determining the magnetic and electromagnetic characteristics of spoke-type permanent magnet (STPM) machine considering magnet segmentation and finite soft-material relative permeability. The proposed model is based on the resolution of the Laplace’s and Poisson’s equations in a Cartesian pseudo-coordinate system with respect to the relative ...
متن کامل