Concepedia

R. Rufati

RR

Statistics

Publications

1

Citations

14

H-Index

1

Active since

2000

R. Rufati is an author specializing in formal verification, parallel computing, and computer engineering.

Top concepts

EngineeringData ModelingFormal MethodsComputer ScienceHardware SecurityParallel ComputingFormal VerificationSystems EngineeringComputer EngineeringComputer Architecture

Publications per year

2000–2000

1

Publications

1

Low-Power Data-Driven Dynamic Logic (D3L)

R. Rufati, K.C. Smith · 2000 · 14 citations

Hardware Security, Logic Synthesis, New Family +15

1–1 of 1