Matches in SemOpenAlex for { <https://semopenalex.org/work/W1912650880> ?p ?o ?g. }
Showing items 1 to 56 of
56
with 100 items per page.
- W1912650880 abstract "Proof of correctness of a given VLSIC system design is established by proving the consistency and implication of the implemented design with respect to the specified design. The set of conditions that establish such consistency is termed verification conditions (VCs). This paper presents an automatic interface system for the verification of VLSI combinational circuits in which VCs are synthesized from circuit definition. This interface will allow a top down specification of the design (written in a given HDL language) to be parsed into binary tree structure representation. Also, a logical construct is built up from the physical layout specifications of the implemented design (extracted as SPICE file). The top down parse tree along with bottom up logic constructs form the basic building block structure of the front end of the interface system. VCs are then synthesized from the outcomes of the front end through a preprocessor. The back end of the interface system constitutes the preprocessor and a set of designators and modules for manipulating mathematical and logical operations. It provides an environment in which a theorem prover can be used to create a formal proof schema for the VCs which satisfy partial correctness of the circuit under consideration." @default.
- W1912650880 created "2016-06-24" @default.
- W1912650880 creator A5057585916 @default.
- W1912650880 creator A5059878361 @default.
- W1912650880 date "2002-11-28" @default.
- W1912650880 modified "2023-10-14" @default.
- W1912650880 title "Verification system interface for VLSI combinational circuits" @default.
- W1912650880 doi "https://doi.org/10.1109/mwscas.1998.759517" @default.
- W1912650880 hasPublicationYear "2002" @default.
- W1912650880 type Work @default.
- W1912650880 sameAs 1912650880 @default.
- W1912650880 citedByCount "1" @default.
- W1912650880 crossrefType "proceedings-article" @default.
- W1912650880 hasAuthorship W1912650880A5057585916 @default.
- W1912650880 hasAuthorship W1912650880A5059878361 @default.
- W1912650880 hasConcept C111498074 @default.
- W1912650880 hasConcept C113843644 @default.
- W1912650880 hasConcept C11413529 @default.
- W1912650880 hasConcept C129307140 @default.
- W1912650880 hasConcept C157915830 @default.
- W1912650880 hasConcept C173608175 @default.
- W1912650880 hasConcept C173856430 @default.
- W1912650880 hasConcept C186644900 @default.
- W1912650880 hasConcept C199360897 @default.
- W1912650880 hasConcept C41008148 @default.
- W1912650880 hasConcept C55439883 @default.
- W1912650880 hasConcept C80444323 @default.
- W1912650880 hasConceptScore W1912650880C111498074 @default.
- W1912650880 hasConceptScore W1912650880C113843644 @default.
- W1912650880 hasConceptScore W1912650880C11413529 @default.
- W1912650880 hasConceptScore W1912650880C129307140 @default.
- W1912650880 hasConceptScore W1912650880C157915830 @default.
- W1912650880 hasConceptScore W1912650880C173608175 @default.
- W1912650880 hasConceptScore W1912650880C173856430 @default.
- W1912650880 hasConceptScore W1912650880C186644900 @default.
- W1912650880 hasConceptScore W1912650880C199360897 @default.
- W1912650880 hasConceptScore W1912650880C41008148 @default.
- W1912650880 hasConceptScore W1912650880C55439883 @default.
- W1912650880 hasConceptScore W1912650880C80444323 @default.
- W1912650880 hasLocation W19126508801 @default.
- W1912650880 hasOpenAccess W1912650880 @default.
- W1912650880 hasPrimaryLocation W19126508801 @default.
- W1912650880 hasRelatedWork W1545063518 @default.
- W1912650880 hasRelatedWork W2093652003 @default.
- W1912650880 hasRelatedWork W2122879333 @default.
- W1912650880 hasRelatedWork W2144302571 @default.
- W1912650880 hasRelatedWork W2324884606 @default.
- W1912650880 hasRelatedWork W2357906747 @default.
- W1912650880 hasRelatedWork W2366230866 @default.
- W1912650880 hasRelatedWork W2393729019 @default.
- W1912650880 hasRelatedWork W3029059508 @default.
- W1912650880 hasRelatedWork W3144286773 @default.
- W1912650880 isParatext "false" @default.
- W1912650880 isRetracted "false" @default.
- W1912650880 magId "1912650880" @default.
- W1912650880 workType "article" @default.