40 search results - page 1 / 8 » Defining an Enhanced RTL Semantics |
DATE
2005
IEEE
13 years 10 months ago
2005
IEEE
HOST
2011
IEEE
12 years 4 months ago
2011
IEEE
—We introduce a novel hardware intellectual property acquisition protocol, show how it can support the transfer of provably trustworthy modules between hardware IP producers and ...
ITC
2000
IEEE
13 years 9 months ago
2000
IEEE
In this paper we present a design for IEEE 1149.1 Test Access Port (TAP)controllers that is based on a practical reuse methodology. While the basic use and core functionality of T...
MIE
2008
13 years 6 months ago
2008
Several medical natural language processing (NLP) systems currently base on ontologies that provide the domain knowledge. But, relationships between concepts defined in ontologies ...
MEMOCODE
2005
IEEE
13 years 10 months ago
2005
IEEE
We describe race-free properties of a hardware description language called GEZEL. The language describes networks of cycle-true finite-state-machines with datapaths (FSMDs). We de...