B
B. Pangrle
Researcher at Synopsys
Publications - 3
Citations - 176
B. Pangrle is an academic researcher from Synopsys. The author has contributed to research in topics: Formal verification & Frame (networking). The author has an hindex of 3, co-authored 3 publications receiving 176 citations.
Papers
More filters
Patent
System for frame-based protocol, graphical capture, synthesis, analysis, and simulation
J. Andrew Seawright,Robert J. Verbrugghe,Wolfgang Meyer,B. Pangrle,Ulrich Holtmann,Pradip C. Shah +5 more
TL;DR: In this paper, the authors present a system for specifying, synthesizing, analyzing, simulating, and generating circuit designs for frame protocols, which allows a user to specify a frame protocol and to edit and browse frame protocols.
Proceedings ArticleDOI
A system for compiling and debugging structured data processing controllers
TL;DR: A graphical input style describes the format of the data to be processed along with the necessary control actions and advantages over FSM approaches include ease of design changes, ease of debugging, and a shorter design cycle.
Proceedings ArticleDOI
RTL C-based methodology for designing and verifying a multi-threaded processor
TL;DR: A RTL C-Based design and verification methodology is presented with enabled the successful high speed validation of a 7 million gate simultaneous multi-threaded (SMT) network processor.