SwePub
Sök i SwePub databas

  Utökad sökning

Träfflista för sökning "WFRF:(Kumar Ashish) srt2:(2002-2004)"

Sökning: WFRF:(Kumar Ashish) > (2002-2004)

  • Resultat 1-3 av 3
Sortera/gruppera träfflistan
   
NumreringReferensOmslagsbildHitta
1.
  • Raudvere, Tarvo, et al. (författare)
  • Polynomial abstraction for verification of sequentially implemented combinational circuits
  • 2004
  • Ingår i: DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, VOLS 1 AND 2, PROCEEDINGS. - LOS ALAMITOS : IEEE COMPUTER SOC. - 0769520855 ; , s. 690-691
  • Konferensbidrag (refereegranskat)abstract
    • Todays integrated circuits with increasing complexity cause the well known state space explosion problem in verification tools. In order to handle this problem a much simpler abstract model of the design has to be created for verification. We introduce the polynomial abstraction technique, which efficiently simplifies the verification task of sequential design blocks whose functionality can be expressed as a polynomial. Through our technique, the domains of possible values of data input signals can be reduced. This is done in such a way that the abstract model is still valid for model checking of the design functionality in terms of the system's control and data properties. We incorporate polynomial abstraction into the ForSyDe methodology, for the verification of clock domain design refinements.
  •  
2.
  • Raudvere, Tarvo, et al. (författare)
  • The ForSyDe semantics
  • 2002
  • Ingår i: Proceedings of Swedish System-on-Chip Conference.
  • Konferensbidrag (refereegranskat)
  •  
3.
  •  
Skapa referenser, mejla, bekava och länka
  • Resultat 1-3 av 3
Typ av publikation
konferensbidrag (3)
Typ av innehåll
refereegranskat (3)
Författare/redaktör
Jantsch, Axel (3)
Sander, Ingo (3)
Raudvere, Tarvo (3)
Singh, Ashish Kumar (3)
Gurov, Dilian (1)
Lärosäte
Kungliga Tekniska Högskolan (3)
RISE (1)
Språk
Engelska (3)
Forskningsämne (UKÄ/SCB)
Naturvetenskap (2)
Teknik (2)

År

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy