Hardware verification has become challenging due to growing complexity of todays designs. We aim at assisting verification of hardware intellectual properties (IP) at register transfer level by means of data abstraction and static formal analysis techniques. We intuitively define the "Control". The proposed definition was envisaged for separating Control and Data, independent of the subjective choice or the specific syntax. We have worked around a few semantic issues of the definition and demonstrated by reasoning. A controldata slicing algorithm is proposed to split the module into a control slice and a data slice. An abstraction is achieved in case of slicing with dataindependent control. The bit accurate RTL data slice is replaced by a functional data computation model for fast simulations. The control slice being critical entity with timing information, remains intact during this process. We have proposed the notion of significance to represent the intentional data in IP modules. Significance is used to represent boolean data dependencies in modules for formal verification of the data flows.

Binding: Paperback;144 pages; Publisher: OmniScriptum GmbH & Co KG; Classification: N/A; Weight: 342.26 g; Dimensions: N/A

Something not quite right? You have 21 days from the day you receive it, to send something back. When you purchase Debenhams Deliver+, you will have an extra 14 days on top of our standard 21-day window to initate a return.

Please note, we cannot offer refunds on fashion face masks, cosmetics, pierced jewellery, adult toys, and swimwear or lingerie if the hygiene seal is not in place or has been broken.

Items of footwear and/or clothing must be unworn and unwashed with the original labels attached. Also, footwear must be tried on indoors. Items of homeware including bedlinen, mattresses, and toppers, and pillows must be unused and in their original unopened packaging. This does not affect your statutory rights.

Click here to view our full Returns Policy.