35 research outputs found

    FPGA๋ฅผ ์ด์šฉํ•œ ํšจ์œจ์ ์ธ co-verification ํ™˜๊ฒฝ์— ๊ด€ํ•œ ์—ฐ๊ตฌ

    No full text
    ํ•™์œ„๋…ผ๋ฌธ(์„์‚ฌ)--์„œ์šธ๋Œ€ํ•™๊ต ๋Œ€ํ•™์› :์ „๊ธฐยท์ปดํ“จํ„ฐ๊ณตํ•™๋ถ€,2002.Maste

    ์ง€์—ญ๊ฒฝ์ œ ํ™œ์„ฑํ™”๋ฅผ ์œ„ํ•œ ์†Œ์ƒ๊ณต์ธ ์ •์ฑ…๊ธˆ์œต ์ง€์›์— ๊ด€ํ•œ ์—ฐ๊ตฌ

    No full text
    ์†Œ์ƒ๊ณต์ธ์€ ์ฃผ๋กœ ์ƒ๊ณ„๋ฅผ ์œ„ํ•ด ์†Œ๊ทœ๋ชจ ์‚ฌ์—…์„ ์˜์œ„ํ•˜๋Š” ์ž์˜์—…์ž๋กœ, ์ด๋“ค์€ ๊ตญ๊ฐ€๊ฒฝ์ œ์—์„œ ๋†’์€ ๋น„์ค‘์„ ์ฐจ์ง€ํ•  ๋ฟ ์•„๋‹ˆ๋ผ ๋งŽ์€ ๊ณ ์šฉ์„ ์ฐฝ์ถœํ•˜๋ฉด์„œ ์‚ฌํšŒ ์•ˆ์ „๋ง์—๋„ ์ค‘์š”ํ•œ ์—ญํ• ์„ ์ˆ˜ํ–‰ํ•˜๊ณ  ์žˆ๋‹ค. ๊ทธ๋Ÿผ์—๋„ ๋ถˆ๊ตฌํ•˜๊ณ  ์ด๋“ค์€ ๊ฒฝ์ œ ๊ทœ๋ชจ๊ฐ€ ์˜์„ธํ•˜์—ฌ ๋Œ€๋‚ดยท์™ธ ๊ฒฝ์ œ ๋ฐ ์ •์ฑ…ํ™˜๊ฒฝ ๋ณ€ํ™”์— ๋งŽ์€ ์˜ํ–ฅ์„ ๋ฐ›๊ณ  ์žˆ๊ณ , ๋˜ ๊ตญ๋‚ดยท์™ธ ๊ฒฝ์ œ์—ฌ๊ฑด ๋ณ€ํ™”์—๋„ ์ ์ ˆํžˆ ๋Œ€์ฒ˜ํ•  ์ˆ˜ ์žˆ๋Š” ๋Šฅ๋ ฅ์„ ๊ฐ–์ถ”๊ณ  ์žˆ์ง€ ๋ชปํ•˜๋ฏ€๋กœ, ์ •๋ถ€์˜ ์ •์ฑ…์  ์ง€์›์ด ์ ˆ๋Œ€์ ์œผ๋กœ ํ•„์š”ํ•œ ๊ณ„์ธต์ด๋ผ ํ•  ์ˆ˜ ์žˆ๋‹ค. ์‹ค์ œ๋กœ ๊ธˆ๊ฐ์› ์กฐ์‚ฌ๊ฒฐ๊ณผ ์†Œ์ƒ๊ณต์ธ ์—…์ข…์€ ๋ถ€๋™์‚ฐ์ž„๋Œ€์—…, ๋„์†Œ๋งค์—…, ์Œ์‹์—… ๋“ฑ ์ƒํ™œ๋ฐ€์ ‘ํ˜• ์—…์ข…์— ์ง‘์ค‘๋˜์–ด ์žˆ๊ณ , KB ์—ฐ๊ตฌ์†Œ์˜ ์—ฐ๊ตฌ๊ฒฐ๊ณผ์—์„œ๋„ ๊ฐœ์ธ ์ฐฝ์—…์ž 4๋ช… ์ค‘ 3๋ช…์€ 10๋…„ ์•ˆ์— ํœดํ์—…์„ ํ•˜๊ณ  ์žˆ๋Š” ๊ฒƒ์œผ๋กœ ๋‚˜ํƒ€๋‚˜๊ณ  ์žˆ๋‹ค. ํŠนํžˆ ์ถฉ๋‚จ์ง€์—ญ์„ ๋น„๋กฏํ•œ ๋น„์ˆ˜๋„๊ถŒ ์ง€์—ญ๊ฒฝ์ œ์˜ ์†Œ์ƒ๊ณต์ธ๋“ค์€ ์ธ๊ตฌ ๋ฐ ๊ธˆ์œต ๋“ฑ์˜ ์ˆ˜๋„๊ถŒ ์ง‘์ค‘์œผ๋กœ ์ธํ•ด ์ƒ๋Œ€์ ์œผ๋กœ ๋” ์œ„์ถ•๋  ์ˆ˜๋ฐ–์— ์—†์–ด ์‚ฌ์—…ํ™˜๊ฒฝ์— ์žˆ์–ด์„œ๋„ ๋งค์šฐ ์—ด์•…ํ•œ ์ƒํ™ฉ์ธ๋ฐ, ๋น„์ˆ˜๋„๊ถŒ ์ง€์—ญ์€ ์‹ค๋ฌผ๊ฒฝ์ œ ๊ธฐ๋ฐ˜์ด ์ทจ์•ฝํ•˜๊ณ  ์†Œ๋“์ˆ˜์ค€๋„ ์ƒ๋Œ€์ ์œผ๋กœ ๋‚ฎ์•„ ์ž๊ธˆ์กฐ์„ฑ๋Šฅ๋ ฅ์— ํ•œ๊ณ„๊ฐ€ ์žˆ์„ ๋ฟ ์•„๋‹ˆ๋ผ, ์กฐ์„ฑ๋œ ์ž๊ธˆ๋„ ์—ญ์™ธ๋กœ ์œ ์ถœ๋˜์–ด ์ง€์—ญ๊ฒฝ์ œ ๋ฐœ์ „์— ๊ธฐ์—ฌํ•˜์ง€ ๋ชปํ•˜๋Š” ์•…์ˆœํ™˜์ด ๋ฐ˜๋ณต๋˜๊ณ  ์žˆ๋Š” ๊ฒƒ์œผ๋กœ ์—ฌ๋Ÿฌ ๋ถ„์„๊ฒฐ๊ณผ์—์„œ ๋ณด๊ณ ๋˜๊ณ  ์žˆ๋Š” ์‹ค์ •์ด๋‹ค. - ์ดํ›„ ์ƒ๋žต์ œ1์žฅ ์„œ๋ก  ์ œ1์ ˆ ์—ฐ๊ตฌ์˜ ๋ฐฐ๊ฒฝ๊ณผ ๋ชฉ์  3 1. ์—ฐ๊ตฌ์˜ ๋ฐฐ๊ฒฝ ๋ฐ ํ•„์š”์„ฑ 3 2. ์—ฐ๊ตฌ์˜ ๋ชฉ์  ๋ฐ ๊ธฐ๋Œ€ํšจ๊ณผ 5 ์ œ2์ ˆ ์—ฐ๊ตฌ์˜ ๋‚ด์šฉ๊ณผ ๋ฐฉ๋ฒ• 6 1. ์—ฐ๊ตฌ์˜ ๋‚ด์šฉ๊ณผ ๋ฒ”์œ„ 6 2. ์—ฐ๊ตฌ์˜ ๋ฐฉ๋ฒ• 6 ์ œ2์žฅ ์†Œ์ƒ๊ณต์ธ ํŠน์„ฑ๊ณผ ํ˜„ํ™ฉ ์ œ1์ ˆ ์†Œ์ƒ๊ณต์ธ์˜ ํŠน์„ฑ 7 1. ์†Œ์ƒ๊ณต์ธ์˜ ๊ฐœ๋…์  ์ •์˜ 7 2. ์†Œ์ƒ๊ณต์—…์˜ ํŠน์„ฑ 9 3. ์†Œ์ƒ๊ณต์ธ์˜ ๊ฒฝ์ œ์‚ฌํšŒ์  ์ค‘์š”์„ฑ 11 ์ œ2์ ˆ ์†Œ์ƒ๊ณต์ธ ์‚ฌ์—…ํ™˜๊ฒฝ๊ณผ ํ˜„ํ™ฉ 14 1. ์†Œ์ƒ๊ณต์—… ์‚ฌ์—…ํ™˜๊ฒฝ์˜ ๊ฒ€ํ†  14 2. ์†Œ์ƒ๊ณต์ธ ํ˜„ํ™ฉ 18 ์ œ3์žฅ ์†Œ์ƒ๊ณต์ธ ์ •์ฑ…์ž๊ธˆ ์ง€์›ํ˜„ํ™ฉ ์ œ1์ ˆ ์†Œ์ƒ๊ณต์ธ ์ •์ฑ…์ž๊ธˆ ์ง€์›๋ฐฐ๊ฒฝ 27 1. ์†Œ์ƒ๊ณต์ธ ์ •์ฑ…์ž๊ธˆ์˜ ๋ฐฐ๊ฒฝ๊ณผ ํ•„์š”์„ฑ 27 2. ์†Œ์ƒ๊ณต์ธ ์ง€์›์ •์ฑ… ์ถ”์ง„๊ณผ์ • 30 ์ œ2์ ˆ ์ •๋ถ€ ์†Œ์ƒ๊ณต์ธ ์ •์ฑ…์ž๊ธˆ ์šด์˜ํ˜„ํ™ฉ 35 1. ์ •๋ถ€(์ค‘์ง„๊ณต) ์†Œ์ƒ๊ณต์ธ ์ •์ฑ…์ž๊ธˆ ์ง€์›๋‚ด์šฉ 35 ์ œ3์ ˆ ์ง€์ž์ฒด ์†Œ์ƒ๊ณต์ธ ์ •์ฑ…์ž๊ธˆ ์šด์˜ํ˜„ํ™ฉ 43 1. ์ถฉ์ฒญ๋‚จ๋„ ์†Œ์ƒ๊ณต์ธ ์ •์ฑ…์ž๊ธˆ ์ง€์› ํ˜„ํ™ฉ 43 2. ํƒ€ ์ง€์ž์ฒด ์†Œ์ƒ๊ณต์ธ ์ •์ฑ…์ž๊ธˆ ์ง€์› ํ˜„ํ™ฉ 45 3. ์†Œ์ƒ๊ณต์ธ ์ •์ฑ…์ž๊ธˆ ์ง€์›๋ฐฉ์‹ ๋น„๊ต 52 4. ์ง€์›ํ†ต๊ณ„ 55 ์ œ4์ ˆ ์™ธ๊ตญ์˜ ์†Œ์ƒ๊ณต์ธ ์ง€์›์ œ๋„ 60 1. ์™ธ๊ตญ์˜ ์†Œ์ƒ๊ณต์ธ ์ง€์›์ •์ฑ… 60 2. ์‹œ์‚ฌ์  68 ์ œ4์žฅ ์†Œ์ƒ๊ณต์ธ ์ •์ฑ…์ž๊ธˆ ํšจ๊ณผ๋ถ„์„ ์ œ1์ ˆ ์ •์ฑ…์ž๊ธˆ ์ง€์›ํšจ๊ณผ ๋ถ„์„ 69 1. ์ •์ฑ…์ž๊ธˆ ์ง€์›ํšจ๊ณผ ๋ถ„์„์— ๊ด€ํ•œ ๋…ผ์˜ 69 2. ์†Œ์ƒ๊ณต์ธ ์ •์ฑ…์ž๊ธˆ ์ง€์›ํšจ๊ณผ ๋ถ„์„ 72 ์ œ2์ ˆ ์ •์ฑ…์ž๊ธˆ ์ง€์›๊ทœ๋ชจ ์ ์ •์„ฑ ํ‰๊ฐ€ 96 1. ์ •์ฑ…์ž๊ธˆ ์ ์ •๊ทœ๋ชจ ์‚ฐ์ •๋ฐฉ์‹์— ๊ด€ํ•œ ๋…ผ์˜ 96 2. ์†Œ์ƒ๊ณต์ธ ์ •์ฑ…์ž๊ธˆ ์ง€์›๊ทœ๋ชจ์˜ ์ ์ •์„ฑ ํ‰๊ฐ€ 98 ์ œ3์ ˆ ์ •์ฑ…์ž๊ธˆ ๊ธˆ๋ฆฌ์ˆ˜์ค€์˜ ์ ์ •์„ฑ ํ‰๊ฐ€ 102 1. ์ •์ฑ…์ž๊ธˆ ์ ์ •๊ธˆ๋ฆฌ ์‚ฐ์ •์— ๊ด€ํ•œ ๋…ผ์˜ 102 2. ์ •์ฑ…์ž๊ธˆ ๊ธˆ๋ฆฌ๊ฒฐ์ • ๋ฐฉ์‹ 105 3. ์†Œ์ƒ๊ณต์ธ ์ •์ฑ…์ž๊ธˆ ๊ธˆ๋ฆฌ์ˆ˜์ค€์˜ ์ ์ •์„ฑ ํ‰๊ฐ€ 106 ์ œ4์ ˆ ๋ถ„์„๊ฒฐ๊ณผ์˜ ์‹œ์‚ฌ์  108 1. ์†Œ์ƒ๊ณต์ธ ์ •์ฑ…์ž๊ธˆ ์ง€์›์˜ ํ•„์š”์„ฑ 108 2. ์†Œ์ƒ๊ณต์ธ ์ •์ฑ…์ž๊ธˆ ์šด์˜์˜ ์„ฑ๊ณผ 110 ์ œ5์žฅ ์†Œ์ƒ๊ณต์ธ ์ง€์›์ •์ฑ… ๊ฐœ์„ ๋ฐฉ์•ˆ ์ œ1์ ˆ ์†Œ์ƒ๊ณต์ธ ์ง€์›์ •์ฑ…์˜ ์žฌ๊ฒ€ํ†  111 1. ํ˜„ ์ •๋ถ€ ์†Œ์ƒ๊ณต์ธ ์ง€์›์ •์ฑ…์˜ ๊ฒ€ํ†  111 2. ์ง€์ž์ฒด(์ถฉ๋‚จ๋„)์˜ ์†Œ์ƒ๊ณต์ธ ์ง€์›์ •์ฑ…์˜ ๊ฒ€ํ†  113 3. 2013 ์ƒˆ ์ •๋ถ€์˜ ์†Œ์ƒ๊ณต์ธ ์ง€์›์ •์ฑ… 114 ์ œ2์ ˆ ์†Œ์ƒ๊ณต์ธ ๊ธˆ์œต์ง€์›์ •์ฑ…์˜ ๊ฐœ์„ ๋ฐฉ์•ˆ 117 1. ์†Œ์ƒ๊ณต์ธ ๊ธˆ์œต์ง€์›์ •์ฑ… ๊ฐœ์„ ์„ ์œ„ํ•œ ๊ณ ๋ ค์‚ฌํ•ญ 117 2. ์†Œ์ƒ๊ณต์ธ ๊ธˆ์œต์ง€์›์ •์ฑ…์˜ ๊ฐœ์„ ๋ฐฉ์•ˆ 118 3. ์†Œ์ƒ๊ณต์ธ ์ž์ƒ๋ ฅ ๊ฐ•ํ™”์™€ ์ง€์—ญ๊ฒฝ์ œ ํ™œ์„ฑํ™” 121 ์ œ6์žฅ ๊ฒฐ๋ก  ๋ฐ ์ •์ฑ…์  ์ œ์–ธ ์ œ1์ ˆ ๊ฒฐ๋ก  123 ์ œ2์ ˆ ์ •์ฑ…์  ์ œ์–ธ 12
    corecore