Login / Signup
Jacob Chang
Publication Activity (10 Years)
Years Active: 2002-2004
Publications (10 Years): 0
</>
Publications
</>
Jacob Chang
,
Sergey Berezin
,
David L. Dill
Using Interface Refinement to Integrate Formal Verification into the Design Cycle.
CAV
(2004)
Jacob Chang
,
Srivaths Ravi
,
Anand Raghunathan
FLEXBAR: A crossbar switching fabric with improved performance and utilization.
CICC
(2002)