Concepedia

Arie Bernstein

AB

1

Publications

10

Citations

1

H-Index

2005

Active since

Affiliations

Intel (United States)(Current)

Arie Bernstein is an author at Intel (United States) specializing in system software, parallel computing, and formal verification.

Top concepts

DesignEngineeringFormal MethodsSoftware DesignSystem SoftwareComputer ScienceSoftware AnalysisParallel ComputingFormal VerificationSystem-level Design

Publications per year

2005–2005

1

Publications

1

How to bridge the abstraction gap in system level modeling and design

Arie Bernstein, Mark Burton, Frank Ghenassia · 2005 · 10 citations

Verification Bottleneck, Hardware Modeling, Hardware Dependent Software +28

Rows per page

1–1 of 1