FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2005963576> ?p ?o ?g. }

• W2005963576 endingPage "592" @default.
• W2005963576 startingPage "579" @default.
• W2005963576 abstract "The work presents a configurable network interface (NI) macrocell to be integrated in Spidergon network-on-chip (NoC) infrastructures, and addresses the problem of its functional verification. The NI architecture supports multiple native bus for the IP cells connected to the NoC and the conversion of data size, protocol and frequency between the NoC and each IP. Differently from many state-of-art NI designs the proposed macrocell features also the hardware implementation of advanced networking features such as security, order handling, error management, store and forward transmission, memory remapping, power management. Such a configurable and complex design poses several challenges in terms of functional verification. Direct HDL testbenches fails covering corner cases and typically are based on handwritten testbenches that are error-prone. In formal methods the verification engineer tries to extract deterministic laws/relationships internal to the HDL description, and then to prove theorems to check the netlist functional behavior. However in complex designs the state explosion problem limits model checking, and the cost of theorem proving becomes prohibitive because of the amount of skilled manual guidance it requires. To overcome such issues a constrained-random coverage-driven approach is presented and customized to be applied to the novel NI as design under test (DUT). Starting from DUT specifications, a software verification platform is created performing these tasks: generating traffic patterns which are constrained-random, i.e. random within variations ranges specified by the user; monitoring the DUT outputs and checking them according to pre-programmed rules; parsing collected outputs into a functional coverage scheme to check if all possible cases have been stressed and covered by the tests. This enables a coverage-driven verification: the user continues developing and running tests until there are no holes left in the coverage plan. As result of this verification strategy full code and functional coverage is achieved. Implementation results of the verified NI core in 45 nm and 65 nm CMOS technologies are also provided and compared to state-of-art NI designs." @default.
• W2005963576 created "2016-06-24" @default.
• W2005963576 creator A5009787535 @default.
• W2005963576 creator A5046297500 @default.
• W2005963576 creator A5091706301 @default.
• W2005963576 date "2011-08-01" @default.
• W2005963576 modified "2023-09-26" @default.
• W2005963576 title "Design and coverage-driven verification of a novel network-interface IP macrocell for network-on-chip interconnects" @default.
• W2005963576 cites W1551256212 @default.
• W2005963576 cites W1976958311 @default.
• W2005963576 cites W1984733309 @default.
• W2005963576 cites W1995636413 @default.
• W2005963576 cites W1999030384 @default.
• W2005963576 cites W2000335122 @default.
• W2005963576 cites W2041400257 @default.
• W2005963576 cites W2047984783 @default.
• W2005963576 cites W2106307996 @default.
• W2005963576 cites W2120792293 @default.
• W2005963576 cites W2141690700 @default.
• W2005963576 cites W2153506856 @default.
• W2005963576 cites W2158791769 @default.
• W2005963576 cites W2160642395 @default.
• W2005963576 cites W3101250574 @default.
• W2005963576 cites W4245950598 @default.
• W2005963576 cites W4248217522 @default.
• W2005963576 doi "https://doi.org/10.1016/j.micpro.2011.06.005" @default.
• W2005963576 hasPublicationYear "2011" @default.
• W2005963576 type Work @default.
• W2005963576 sameAs 2005963576 @default.
• W2005963576 citedByCount "19" @default.
• W2005963576 countsByYear W20059635762013 @default.
• W2005963576 countsByYear W20059635762014 @default.
• W2005963576 countsByYear W20059635762015 @default.
• W2005963576 countsByYear W20059635762016 @default.
• W2005963576 countsByYear W20059635762017 @default.
• W2005963576 countsByYear W20059635762018 @default.
• W2005963576 countsByYear W20059635762023 @default.
• W2005963576 crossrefType "journal-article" @default.
• W2005963576 hasAuthorship W2005963576A5009787535 @default.
• W2005963576 hasAuthorship W2005963576A5046297500 @default.
• W2005963576 hasAuthorship W2005963576A5091706301 @default.
• W2005963576 hasConcept C111498074 @default.
• W2005963576 hasConcept C113775141 @default.
• W2005963576 hasConcept C11413529 @default.
• W2005963576 hasConcept C149635348 @default.
• W2005963576 hasConcept C177650935 @default.
• W2005963576 hasConcept C2778291847 @default.
• W2005963576 hasConcept C31258907 @default.
• W2005963576 hasConcept C41008148 @default.
• W2005963576 hasConcept C48103436 @default.
• W2005963576 hasConcept C62460635 @default.
• W2005963576 hasConcept C68649174 @default.
• W2005963576 hasConcept C80444323 @default.
• W2005963576 hasConcept C9390403 @default.
• W2005963576 hasConceptScore W2005963576C111498074 @default.
• W2005963576 hasConceptScore W2005963576C113775141 @default.
• W2005963576 hasConceptScore W2005963576C11413529 @default.
• W2005963576 hasConceptScore W2005963576C149635348 @default.
• W2005963576 hasConceptScore W2005963576C177650935 @default.
• W2005963576 hasConceptScore W2005963576C2778291847 @default.
• W2005963576 hasConceptScore W2005963576C31258907 @default.
• W2005963576 hasConceptScore W2005963576C41008148 @default.
• W2005963576 hasConceptScore W2005963576C48103436 @default.
• W2005963576 hasConceptScore W2005963576C62460635 @default.
• W2005963576 hasConceptScore W2005963576C68649174 @default.
• W2005963576 hasConceptScore W2005963576C80444323 @default.
• W2005963576 hasConceptScore W2005963576C9390403 @default.
• W2005963576 hasIssue "6" @default.
• W2005963576 hasLocation W20059635761 @default.
• W2005963576 hasOpenAccess W2005963576 @default.
• W2005963576 hasPrimaryLocation W20059635761 @default.
• W2005963576 hasRelatedWork W1970385675 @default.
• W2005963576 hasRelatedWork W2005963576 @default.
• W2005963576 hasRelatedWork W21388859 @default.
• W2005963576 hasRelatedWork W2148298545 @default.
• W2005963576 hasRelatedWork W2158636856 @default.
• W2005963576 hasRelatedWork W2375332438 @default.
• W2005963576 hasRelatedWork W2800324237 @default.
• W2005963576 hasRelatedWork W3082696694 @default.
• W2005963576 hasRelatedWork W4297807541 @default.
• W2005963576 hasRelatedWork W4375946032 @default.
• W2005963576 hasVolume "35" @default.
• W2005963576 isParatext "false" @default.
• W2005963576 isRetracted "false" @default.
• W2005963576 magId "2005963576" @default.
• W2005963576 workType "article" @default.