Chang-Jae Park

Statistics

Publications

Citations

H-Index

Active since

1997

Affiliations

Korea Advanced Institute of Science and Technology(Current)

Chang-Jae Park is an author at Korea Advanced Institute of Science and Technology specializing in hardware security, computer engineering, and formal methods.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceHardware SecurityParallel ComputingFormal VerificationSystems EngineeringComputer EngineeringComputer Architecture

Publications per year

1997–2008

Publications

A C-based RTL design verification methodology for complex microprocessor

Joon-Seo Yim, Yoon-Ho Hwang, Chang-Jae Park et al. · 1997 · 32 citations · Full text

Hardware Modeling, Engineering, Hardware Verification Language +18

Evaluation of Neutron Shielding Effects on Various Materials by Using a Cf-252 Source

Hee-Young Kang, Chang-Jae Park, Ki-Seog Seo et al. · Journal of the Korean Physical Society · 2008 · 10 citations

1–2 of 2