Concepedia

Rodney Lindelof

RL

2

Publications

75

Citations

2

H-Index

1994

Active since

Affiliations

University of California San Diego(Current)

Rodney Lindelof is an author at University of California San Diego specializing in hardware systems, formal verification, and computer engineering.

Top concepts

EngineeringFormal MethodsComputer ScienceHardware SystemsComputing SystemsParallel ComputingFormal VerificationSystems EngineeringComputer EngineeringComputer Architecture

Publications per year

1994–1995

2

Publications

2

Circuit partitioning for huge logic emulation systems

Nan-Chi Chou, Lung-Tien Liu, Chung‐Kuan Cheng et al. · 1994 · 60 citations

Engineering, Electronic Design Automation, Computer Architecture +19

Local ratio cut and set covering partitioning for huge logic emulation systems

Nan-Chi Chou, Lung-Tien Liu, Chung‐Kuan Cheng et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1995 · 15 citations

Emulation Technique, Engineering, Hardware Algorithm +21

Rows per page

1–2 of 2