Confluence ½Ã½ºÅÛ µðÀÚÀÎ ¾ð¾î

Confluence ½Ã½ºÅÛ ¼³°è ¾ð¾î´Â ¹«È¿ ½Ã½ºÅÛ ¼³°èÀÇ ¾ð¾îÀÔ´Ï´Ù.
Áö±Ý ´Ù¿î·Îµå

Confluence ½Ã½ºÅÛ µðÀÚÀÎ ¾ð¾î ¼øÀ§ ¹× ¿ä¾à

±¤°í

  • Rating:
  • ƯÇã:
  • GPL
  • °¡°Ý:
  • FREE
  • °Ô½ÃÀÚ À̸§:
  • Tom Hawkins
  • °Ô½ÃÀÚ À¥»çÀÌÆ®:
  • 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 ½Ã½ºÅÛ µðÀÚÀÎ ¾ð¾î °ü·Ã ¼ÒÇÁÆ®¿þ¾î

Geonetwork.

GeonetWork´Â À¥À» ÅëÇØ °ø°£ÀûÀ¸·Î ÂüÁ¶ µÈ ¸®¼Ò½º¸¦ °ü¸®ÇÏ´Â ¿ÀÇ ¼Ò½º Ä«Å»·Î±× ÀÀ¿ë ÇÁ·Î±×·¥ÀÔ´Ï´Ù. ...

177

´Ù¿î·Îµå

esmf.

ESMF (Earth System Modeling Framework)´Â ³¯¾¾, ±âÈÄ ¹× °ü·Ã ¸ðµ¨À» ±¸ÃàÇÏ°í Ä¿Çà ¸µÇÏ´Â ¼ÒÇÁÆ®¿þ¾îÀÔ´Ï´Ù. ...

204

´Ù¿î·Îµå

Siox.

SiOx´Â ÀϹÝÀûÀÎ ¼¼±×¸ÕÅ×ÀÌ¼Ç ¿£ÁøÀ» Á¦°øÇÏ´Â Java SDKÀÔ´Ï´Ù. ...

246

´Ù¿î·Îµå