Safety Verification of AMS Circuits with Piecewise-Linear System Reachability Analysis - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Seyoung Kim, Heechun Park, Jaeha Kim. Safety Verification of AMS Circuits with Piecewise-Linear System Reachability Analysis. In 18th International SoC Design Conference, ISOCC 2021, Jeju Island, South Korea, Republic of, October 6-9, 2021. pages 203-206, IEEE, 2021. [doi]

This author has not been identified. Look up 'Seyoung Kim' in GoogleThis author has not been identified. Look up 'Heechun Park' in GoogleThis author has not been identified. Look up 'Jaeha Kim' in Google

runs on WebDSL