Application for a Graduate Student Project within the INTELECT program funded ...  Home/Search
Context
Related
| ele.kth.se/INTELECT/GSPs/hemani.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: ele.kth.se/INTELECT/GSPs/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: to be specified in grammar notation and then automatically generating state machines that parses the protocol. Protocol Compiler from Synopsys and the ProGram (Protocol Grammar) system developed at KTH in our lab are two principal examples of this approach. Protocol Specification in Grammar notation Architecture Specification in Grammar notation Retargettable Compiler KTH Protocol Processor Architecture LiTH Protocol Processor Architecture X Protocol Processor... (Update)
Similar documents (at the sentence level):
26.5%: Probabilistic Verification Methodology for DSP ASICs - Application For Graduate (Correct)
Active bibliography (related documents): More All
0.3: The TACO Protocol Processor Simulation Environment - Virtanen, Lilius (2001) (Correct)
0.3: System Level Virtual Prototyping of DSP SOCs Using.. - Hemani, Deb, Öberg, al. (2000) (Correct)
0.2: ProGram: A Grammar-Based Method for Specification and Hardware.. - Öberg (1999) (Correct)
Similar documents based on text: More All
0.5: A Design Tool for the TACO Protocol Processor.. - Virtanen, Lundström.. (2002) (Correct)
0.3: A Simple State Transition Control for FSM Programmable.. - Ma, Jantsch, Tenhunen (2000) (Correct)
0.2: Towards Retargettable Compilers - Feedback Directed Compilation.. - Nisbet (2001) (Correct)
BibTeX entry: (Update)
@misc{ graduate-grammar,
author = "Application For Graduate",
title = "Grammar based protocol synthesis for Protocol Processors",
url = "citeseer.ist.psu.edu/336694.html" }
Citations (may not include all citations):10 Grammar-Based Specifications and Synthesis for Synchronous D.. (context) - Seawright - 1994
8 Communication Protocols and their Characteristics Relavant t.. - Virtanen
6 System Level Virtual Prototyping of DSP ASICs Using Grammar .. - Hemani, berg et al. - 1999
6 A Grammar Based Approach towards the Automatic Implementatio.. (context) - Bloks - 1993
5 ProGram: A Grammar-Based Method for Specification and Hardwa.. (context) - berg
4 Configuration Based Architecture for High Speed and General .. (context) - Liu
2 INTELECT White Paper: Development Plan for the SSF Program I.. (context) - Nilsson, Peterson et al. - 1999
2 Specification, Syntheisis and Validation of Hardware/Softwar.. (context) - O'Nils
2 Grammar based Design & Verification of DSP System on a Chip (context) - Hemani, Abhijit et al.
2 General Programmable Protocol Processor (context) - Jantsch, Yu et al.
2 A Divide and Conquer strategy to verifying DSP ASICs (context) - Hemani, Postula et al. - 1999
Documents on the same site (http://www.ele.kth.se/INTELECT/GSPs/): More
Performance Estimation at RT-Level - an INTELECT GSP - Larsson-Edefors (2000) (Correct)
Modeling, and Verification for the Design of Complex Electronic.. - Karlsson (Correct)
Compositional Specification and Verification for System-on-chip .. - Gurov, al. (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC