SwePub
Sök i SwePub databas

  Extended search

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

Search: (WFRF:(Kumar Sandeep)) > (2004)

  • Result 1-2 of 2
Sort/group result
   
EnumerationReferenceCoverFind
1.
  •  
2.
  • Mousavi, Mohammad Reza, 1978-, et al. (author)
  • Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks
  • 2004
  • In: Proceedings of the Design, Automation and Test in Europe Conference and Exhibition (DATE’04), Volume 1. - Los Alamitos, CA : IEEE Computer Society. - 0769520855 ; , s. 384-389
  • Conference paper (peer-reviewed)abstract
    • We lay a foundation for modeling and validation of asynchronous designs in a multi-clock synchronous programming model. This allows us to study properties of globally asynchronous systems using synchronous simulation and model-checking toolkits. Our approach can be summarized as automatic transformation of a design consisting of two asynchronously composed synchronous components into a fully synchronous multi-clock model preserving behavioral equivalence. The ultimate goal of this research is to provide the ability to model and build GALS systems in a fully synchronous design framework and deploy it on an asynchronous network preserving all properties of the system proven in the synchronous framework.
  •  
Skapa referenser, mejla, bekava och länka
  • Result 1-2 of 2

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 Close

Copy and save the link in order to return to this view