| Confluence ½Ã½ºÅÛ µðÀÚÀÎ ¾ð¾î Confluence ½Ã½ºÅÛ ¼³°è ¾ð¾î´Â ¹«È¿ ½Ã½ºÅÛ ¼³°èÀÇ ¾ð¾îÀÔ´Ï´Ù. |
Áö±Ý ´Ù¿î·Îµå |
Confluence ½Ã½ºÅÛ µðÀÚÀÎ ¾ð¾î ¼øÀ§ ¹× ¿ä¾à
- °Ô½ÃÀÚ À¥»çÀÌÆ®:
- http://www.confluent.org/
Confluence ½Ã½ºÅÛ µðÀÚÀÎ ¾ð¾î ű×
Confluence ½Ã½ºÅÛ µðÀÚÀÎ ¾ð¾î ¼³¸í
Confluence ½Ã½ºÅÛ ¼³°è ¾ð¾î´Â ¹«È¿ ½Ã½ºÅÛ ¼³°èÀÇ ¾ð¾îÀÔ´Ï´Ù. Confluence´Â µ¿±â½Ä ¹ÝÀÀ ½Ã½ºÅÛ ¼³°èÀÇ ¾ð¾îÀÔ´Ï´Ù. Confluence ÇÁ·Î±×·¥Àº FPGA ¶Ç´Â ASIC Ç÷§Æû¿¡ ´ëÇÑ µðÁöÅÐ ·ÎÁ÷À» »ý¼ºÇϰųª ÇÏµå ½Ç½Ã°£ ¼ÒÇÁÆ®¿þ¾î¸¦À§ÇÑ C Äڵ带 »ý¼º ÇÒ ¼ö ÀÖ½À´Ï´Ù .Confluence´Â Verilog ¹× VHDLÀÇ ±¸¼º ¿ä¼Ò ±â¹Ý ¹æ¹ý·ÐÀ» °íÂ÷¿ø ±â´É ÇÁ·Î±×·¡¹ÖÀÇ Ç¥Çö·Â°ú °áÇÕÇÕ´Ï´Ù. Verilog, VHDL°ú ºñ±³ÇÕ´Ï´Ù. ¹× C, Confluence·Î ¼³°èµÈ ½Ã½ºÅÛÀº 2 ¹è¿¡¼ 10x ÄÚµå °¨¼Ò·Î ¼Ò½º¸¦º¸´Ù ½±°Ô °ü¸®ÇÏ°í Àç»ç¿ë ÇÒ ¼öÀÖ°ÔÇÕ´Ï´Ù. ±×¸®°í Confluence´Â ¿Ã¹Ù¸¥ ±¸¼º ÄÄÆÄÀÏ·¯¿¡ ÀÇÁ¸Çϱ⠶§¹®¿¡ ¹ö±×°¡ ¸ðµÎ ÁÙ¾îµé¹Ç·Î Àüü °ËÁõ ³ë·ÂÀÌ ¸ðµÎ ÁÙ¾î µì´Ï´Ù. ´ÙÀ½Àº "Confluence System Design Language"ÀÇ ÁÖ¿ä ±â´ÉÀÌ ÀÖ½À´Ï´Ù. ½É°¢ÇÑ Çϵå¿þ¾î¿¡ ´ëÇÑ Ãß»óÈ ¼öÁØ. ¡¤ ¾Ï½Ã Àû º´·ÄÁõ, °èÃþ ±¸Á¶ ¹× µ¥ÀÌÅÍ È帧 : HDL°ú °°Àº ´À³¦. ¡¤ ¾Ï½Ã Àû µ¿±âÈ : ¸ðµç ½Ã°è¸¦ ÀÚµ¿À¸·Î ¿¬°á, Àç¼³Á¤ ¹× È°¼ºÈÇÕ´Ï´Ù. ¡¤ ÀϹÝÀûÀÎ ¿À·ù¿Í ³ª»Û µðÀÚÀÎ °üÇàÀ» ¹æÁöÇÕ´Ï´Ù. ¡¤ Àç±Í ¹× °íÂ÷¿ø µ¥ÀÌÅÍ À¯Çü : Àç»ç¿ëÀÇ »õ Å©±â¸¦ ÀÔ·ÂÇϽʽÿÀ. ¡¤ °¡º¯ ÅëÀÏ : °íÂ÷¿ø Ä¿³ØÅÍ. ¡¤ ¾îÈÖ ½ºÄÚ ÇÎ : Ŭ¸° ³×ÀÓ ½ºÆäÀ̽º °ü¸®. ¡¤ ÂüÁ¶ Åõ¸í¼º : È®Àå °¡´ÉÇÑ µðÀÚÀÎ ¹× °ËÁõÀ» º¸ÀåÇÕ´Ï´Ù. ¡¤ ÅëÇÕ ¸ðµâ ½Ã½ºÅÛ : ´ëÇü ¸ðµâ ½Ã½ºÅÛ : ´ëÇü ¸ðµâ ½Ã½ºÅÛ (´ÙÁß ¼Ò½º ÆÄÀÏ). ¡¤ FNF°¡ »ý¼ºµÇ¸ç, ÀÌ´Â Â÷·Ê·Î »ý¼ºµË´Ï´Ù. - VERILOG-VHDL-C-JHDL - NUSMV-FNFINSTALLATION1. ¼³Ä¡ ÃßÃâ : $ tar -xzf confluence-0.10.0.tar.gz 2. cf_lib ¹× cf_env ȯ°æ º¯¼ö¸¦ ¼³Á¤ÇϽʽÿÀ (´ÙÀ½ ÁÙÀ» .bashrc ¶Ç´Â .bash_profile¿¡ Ãß°¡ÇϽʽÿÀ). ÀÌÁø ¹èÆ÷ ³»º¸³»±â cf_lib = / lib / confluence # ¼Ò½º ³»º¸³»±â cf_env = $ CF_LIB / base.cf3¿¡¼ ¼³Ä¡ÇÏ´Â °æ¿ì. OCAML (http://caml.inria.fr/ocaml/distrib.html)À» ¼³Ä¡ÇϽʽÿÀ. µµ±¸¸¦ ÄÄÆÄÀÏÇÏ°í ¼³Ä¡ÇϽʽÿÀ. Á¢µÎ»ç À§Ä¡ ¼³Á¤ : $ premix = / usr install5¸¦ ¸¸µì´Ï´Ù. FNF ICarus ÄÚµå »ý¼º±â¸¦ ÄÄÆÄÀÏÇÏ°í ¼³Ä¡ÇÏ·Á¸é src / ivl / makefileÀ» ÂüÁ¶ÇϽʽÿÀ.
Confluence ½Ã½ºÅÛ µðÀÚÀÎ ¾ð¾î °ü·Ã ¼ÒÇÁÆ®¿þ¾î