Avoidance of State Explosion Using Dependency Analysis in Model Checking Control Flow Model
Park, Sachoun, Kwon, Gihwon
Published in Computational Science and Its Applications - ICCSA 2006 (2006)
Published in Computational Science and Its Applications - ICCSA 2006 (2006)
Get full text
Book Chapter
Conference Proceeding
A Temporal Noise Reduction via 40% Enhanced Conversion Gain in Dual-Pixel CMOS Image Sensor with Full-Depth Deep-Trench Isolation and Locally Lowered-Stack Technology
Lee, Seunghwan, Cho, Jeongjin, Choi, Shinyoung, Min, Sung Yoon, Lee, Eunjung, Jung, Minji, Son, Kyoungmok, Jeong, Hyunchaul, Han, Heetak, Park, Sachoun, Moon, Sanghyuck, Jung, Seungki, Yang, Junseok, Jung, Taesub, Park, Howoo, Kim, Bumsuk, Lee, Kyungho, Lee, Jesuk
Published in 2024 IEEE Symposium on VLSI Technology and Circuits (VLSI Technology and Circuits) (16.06.2024)
Published in 2024 IEEE Symposium on VLSI Technology and Circuits (VLSI Technology and Circuits) (16.06.2024)
Get full text
Conference Proceeding
Automotive hardware development according to ISO 26262
Seo-Hyun Jeon, Jin-Hee Cho, Yangjae Jung, Sachoun Park, Tae-Man Han
Published in 13th International Conference on Advanced Communication Technology (ICACT2011) (01.02.2011)
Get full text
Published in 13th International Conference on Advanced Communication Technology (ICACT2011) (01.02.2011)
Conference Proceeding
A 1/1.57-inch 50Mpixel CMOS Image Sensor With 1.0μm All-Directional Dual Pixel by 0.5μm-Pitch Full-Depth Deep-Trench Isolation Technology
Jung, Taesub, Fujita, Masato, Cho, Jeongjin, Lee, Kyungduck, Seol, Doosik, An, Sungmin, Lee, Chanhee, Jeong, Youjin, Jung, Minji, Park, Sachoun, Baek, Seungki, Jung, Seungki, Lee, Seunghwan, Yun, Jungbin, Shim, Eun Sub, Han, Heetak, Park, Eunkyung, Sul, Haesick, Kang, Sehyeon, Lee, Kyungho, Ahn, JungChak, Chang, Duckhyun
Published in 2022 IEEE International Solid- State Circuits Conference (ISSCC) (20.02.2022)
Published in 2022 IEEE International Solid- State Circuits Conference (ISSCC) (20.02.2022)
Get full text
Conference Proceeding
SAT based Verification Tool for Labeled Transition System
Sachoun Park, Gihwon Kwon
Published in 5th ACIS International Conference on Software Engineering Research, Management & Applications (SERA 2007) (01.08.2007)
Published in 5th ACIS International Conference on Software Engineering Research, Management & Applications (SERA 2007) (01.08.2007)
Get full text
Conference Proceeding