ブラウザよりも高速アクセス！
24 関係: 半導体、帯電、応力、化学機械研磨、バグ、リソグラフィ、プリント基板、プログラム、フォトマスク、ダミー、図形、CAD、EDA (半導体)、階層構造、論理積、論理演算、距離、関数、蒸着、金属、配線、Layout versus schematic、Portable Document Format、検証。
半導体
半導体（はんどうたい、semiconductor）とは、電気伝導性の良い金属などの導体（良導体）と電気抵抗率の大きい絶縁体の中間的な抵抗率をもつ物質を言う（抵抗率だけで半導体を論じるとそれは抵抗器と同じ特性しか持ち合わせない）。代表的なものとしては元素半導体のケイ素（Si）などがある。 電子工学で使用されるICのような半導体素子はこの半導体の性質を利用している。 良導体（通常の金属）、半導体、絶縁体におけるバンドギャップ（禁制帯幅）の模式図。ある種の半導体では比較的容易に電子が伝導帯へと遷移することで電気伝導性を持つ伝導電子が生じる。金属ではエネルギーバンド内に空き準位があり、価電子がすぐ上の空き準位に移って伝導電子となるため、常に電気伝導性を示す。.
新しい！!: デザインルールチェックと半導体 · 続きを見る »
帯電
帯電（たいでん）は、物体が電気を帯びる現象である。 別の物体から電子を奪った場合には負に帯電し、逆の場合は正に帯電する。奪うことを引き起こす力は別に議論されなければならないが、帯電したまま動かずにいる電気を静電気という。絶縁体同士を摩擦することなどにより、この現象を起こすことができる。たとえばエボナイト棒を乾いた布でこすったり、プラスティックの下敷きで髪をこすったりすると、それぞれ帯電する。帯電した物体が他の物体を引き寄せるなどの性質（クーロン力）を持っていることは、古代から知られていた。近代になってから、この現象の本格的な研究が始まり、これをきっかけに、電磁気学が発展していった。近年ではこうした帯電現象を利用した様々な装置が日常生活に浸透してきている。 Category:静電気 Category:物理化学の現象.
新しい！!: デザインルールチェックと帯電 · 続きを見る »
応力
応力（おうりょく、ストレス、stress）とは、物体連続体などの基礎仮定を満たすものとする。の内部に生じる力の大きさや作用方向を表現するために用いられる物理量である。物体の変形や破壊などに対する負担の大きさを検討するのに用いられる。 この物理量には応力ベクトル と応力テンソル の2つがあり、単に「応力」といえば応力テンソルのことを指すことが多い。応力テンソルは座標系などを特別に断らない限り、主に2階の混合テンソルおよび混合ベクトルとして扱われる（混合テンソルについてはテンソル積#テンソル空間とテンソルを参照）。応力ベクトルと応力テンソルは、ともに連続体内部に定義した微小面積に作用する単位面積あたりの力として定義される。そのため、それらの単位は、SIではPa (N/m2)、重力単位系ではkgf/mm2で、圧力と同じである。.
新しい！!: デザインルールチェックと応力 · 続きを見る »
化学機械研磨
化学機械研磨（かがくきかいけんま、英: chemical mechanical polishing) は、研磨剤（砥粒）自体が有する表面化学作用または研磨液に含まれる化学成分の作用によって、研磨剤と研磨対象物の相対運動による機械的研磨（表面除去）効果を増大させ、高速かつ平滑な研磨面を得る技術である。化学機械的研磨、化学的機械研磨、化学的機械的研磨とも表記される。 functional principle of CMP 近年では、CPUを代表とする大規模集積回路の製造に用いるウェハー表面の平坦化仕上げや、回路形成時の配線製造工程など、半導体製造工程全般で多用されるようになった研磨技術である（半導体工学を参照のこと）。半導体製造工程においては、特に平坦な面を得ることが重要であるため、「平坦にする」ということを強調するために化学機械平坦化（かがくきかいへいたんか、chemical mechanical planarization）とも表現する。いずれも略語はCMPであり、実質的な相違はあまりない。.
新しい！!: デザインルールチェックと化学機械研磨 · 続きを見る »
バグ
バグ (bug) とは、英語で「虫」の意であり、転じてコンピュータプログラムの誤りや欠陥を表す。 ソフトウェア・ハードウェア開発における契約文書など、法的な文書ではバグのことを「瑕疵」と記述する。原因や責任の所在などが不明なものを特定性の低い表現の「不具合」と呼ぶことがある。また、セキュリティ上に関わるバグや欠陥は「セキュリティホール」などと呼ばれることもある（正確には、バグはこれらの原因（のひとつ）である）。 多くのバグが含まれ、機能的に正常な役割を果たさないものを、バギー・プログラム (Buggy Program) と呼ぶことがある。 なお、発生したバグを探して取り除く作業はデバッグと呼ばれる。.
新しい！!: デザインルールチェックとバグ · 続きを見る »
リソグラフィ
リソグラフィ (Lithography).
新しい！!: デザインルールチェックとリソグラフィ · 続きを見る »
プリント基板
プリント基板（プリントきばん、短縮形PWB, PCB）とは、基板の一種で、以下のふたつをまとめて指す総称。.
新しい！!: デザインルールチェックとプリント基板 · 続きを見る »
プログラム
プログラム（program; programme, prographein（公示する）から）;一般概念.
新しい！!: デザインルールチェックとプログラム · 続きを見る »
フォトマスク
フォトマスク（英語：photomask）とは、ガラス乾板とも呼ばれ、電子部品の製造工程で使用されるパターン原版をガラス、石英等に形成した透明な板であり、「フォトリソグラフィ」と呼ばれる転写技術によって電子部品の回路パターン等を被転写対象に転写する際の原版となるものである。 半導体素子、フラットパネルディスプレイ、プリント基板といった電子部品の製造工程で、配線層や部品層といった異なる画像を写すために、数枚から数十枚のフォトマスクが使用される。露光工程で1枚ごとにフォトレジストと呼ばれる感光性材料にフォトマスクの画像が転写される。露光により現像液への溶解性が変化するフォトレジストの特性に基づき、光の当たった部分が除去される、あるいは残存することにより、次のエッチング工程と呼ばれる被加工対象への溶解、除去処理に対するマスクとなる。エッチング工程での被加工対象の不要部分の除去が終了後、フォトレジストを薬液によって剥離することで工程が終了し、次の層の加工のためにまたフォトレジストが塗布され、同様の処理が繰り返される。 高密度半導体の製造に使われる高精細のフォトマスクのものではレチクルと呼ばれるものがある。.
新しい！!: デザインルールチェックとフォトマスク · 続きを見る »
ダミー
ダミー(dummy)は、一般的に、本物に似せて偽装した、実際には機能を持たないもの。.
新しい！!: デザインルールチェックとダミー · 続きを見る »
図形
図形（ずけい、shape）は、一定の決まりによって定められる様々な形状のことであり、様々な幾何学における基本的な対象である。 ものの視覚認識によって得られる直観的な「かたち」を、まったく感覚によらず明確な定義と公理のみを用いて、演繹的に研究する論理的な学問としての幾何学の一つの典型は、ユークリッドの原論に見られる。ユークリッド幾何学においては、図形は定木とコンパスによって作図され、点、直線と円、また平面や球、あるいはそれらの部分から構成される。 1872年、クラインによって提出されたエルランゲン目録は、それまでの古典的なユークリッド幾何学、非ユークリッド幾何学、射影幾何学などの種々の幾何学に対して、変換という視点を通して統一的に記述することを目的とした。クラインのこの立場からは、図形は運動あるいは変換と呼ばれる操作に関して不変であるような性質によって記述される点集合のことであると言うことができる。 同時期にリーマンは、ガウスによって詳しく研究されていた曲面における曲率などの計量を基礎に、曲面をそれが存在する空間に拠らない一つの幾何学的対象として扱うことに成功し、リーマン幾何学あるいはリーマン多様体の概念の基礎を築いた。この立場において図形は、空間内の点集合という概念ではなく（一般には曲がったり重なったりした）空間そのものを指すと理解できる。.
新しい！!: デザインルールチェックと図形 · 続きを見る »
CAD
CAD（キャド、computer-aided design）は、コンピュータ支援設計とも訳され、コンピュータを用いて設計をすること、あるいはコンピュータによる設計支援ツールのこと（CADシステム）。人の手によって行われていた設計作業をコンピュータによって支援し、効率を高めるという目的からきた言葉である。 CADを「コンピュータを用いた製図（システム）」と解する場合は「computer-assisted drafting」、「computer-assisted drawing」を指し、同義として扱われることもある。 設計対象や目的によりCADD（）、CAID（）、CAAD（）などと区分される場合もある。 日本での定義としてはJIS B3401に記載があり、「製品の形状、その他の属性データからなるモデルを、コンピュータの内部に作成し解析・処理することによって進める設計」となっている。 3次元の作業の場合でも、数値の精密さの必要がないコンピュータゲームや映画やアニメーションなどの制作関係の事柄については「3DCG」を参照。.
新しい！!: デザインルールチェックとCAD · 続きを見る »
EDA (半導体)
EDA（electronic design automation）、DA（design automation）とは、電子機器、半導体など電子系の設計作業を自動化し支援するためのソフトウェア、ハードウェアおよび手法の総称。半導体の設計工程とその製造工程、さらにそれを部品として実装するプリント基板設計の自動化で使われる用語である。それぞれの製造工程、検査工程でのデータ処理技術を意味するともいえる。 従来から単体で存在した電子系のCADやCAEを包含した用語として使われるようになった。実際のシステムのことをEDAツールといい、開発・販売業者をEDAベンダーという。電子・半導体メーカーなどが内製する場合もある。.
新しい！!: デザインルールチェックとEDA (半導体) · 続きを見る »
階層構造
階層構造（かいそうこうぞう、hierarchy、ヒエラルキー）は、ある事象や認識対象の構造が、高層建築物のように、各階を、下層から上層へと順に積み重ねて全体を構成している場合の構造である。あるいは、積み木構造ともいえる。 また、ある要素が複数集まることでひとつのユニット（集合体）を形成し、そのユニットが複数集まることでさらに大きなひとつの大ユニットを形成し、その大ユニットが……という構造も、階層構造である。.
新しい！!: デザインルールチェックと階層構造 · 続きを見る »
論理積
数理論理学において論理積（ろんりせき、logical conjunction）とは、与えられた複数の命題のいずれもが例外なく真であることを示す論理演算である。合接（ごうせつ）、連言（れんげん、れんごん）とも呼び、ANDとよく表す。 二つの命題 P, Q に対する論理積を P ∧ Q と書き、「P かつ Q」や「P そして Q」などと読む。 ベン図による論理積P \wedge Q の表.
新しい！!: デザインルールチェックと論理積 · 続きを見る »
論理演算
論理演算（ろんりえんざん、logical operation）は、論理式において、論理演算子などで表現される論理関数（ブール関数）を評価し（正確には、関数適用を評価し）、変数（変項）さらには論理式全体の値を求める演算である。 非古典論理など他にも多くの論理の体系があるが、ここでは古典論理のうちの命題論理、特にそれを形式化したブール論理に話を絞る。従って対象がとる値は真理値の2値のみに限られる。また、その真理値の集合（真理値集合）と演算（演算子）はブール代数を構成する。 コンピュータのプロセッサやプログラミング言語で多用されるものに、ブーリアン型を対象とした通常の論理演算の他に、ワード等のビット毎に論理演算を行なう演算があり、ビット演算という。 なお、以上はモデル論的な議論であり、証明論的には、公理と推論規則に従って論理式を変形（書き換え）する演算がある（証明論#証明計算の種類）。.
新しい！!: デザインルールチェックと論理演算 · 続きを見る »
距離
距離（きょり、Entfernung）とは、ある2点間に対して測定した長さの量をいう。本項では日常生活および高校数学の範囲内で使われている距離について触れる。大学以上で扱うより専門的な距離については距離空間を参照。.
新しい！!: デザインルールチェックと距離 · 続きを見る »
関数
関数（かんすう）、函数.
新しい！!: デザインルールチェックと関数 · 続きを見る »
蒸着
蒸着（じょうちゃく、英語：vapor deposition）とは、金属や酸化物などを蒸発させて、素材の表面に付着させる表面処理あるいは薄膜を形成する方法の一種。蒸着は、物理蒸着（PVD）と化学蒸着（CVD）に大別される。ここでは主にPVDの一種である真空蒸着を解説する。.
新しい！!: デザインルールチェックと蒸着 · 続きを見る »
金属
リウム の結晶。 リチウム。原子番号が一番小さな金属 金属（きんぞく、metal）とは、展性、塑性（延性）に富み機械工作が可能な、電気および熱の良導体であり、金属光沢という特有の光沢を持つ物質の総称である。水銀を例外として常温・常圧状態では透明ではない固体となり、液化状態でも良導体性と光沢性は維持される。 単体で金属の性質を持つ元素を「金属元素」と呼び、金属内部の原子同士は金属結合という陽イオンが自由電子を媒介とする金属結晶状態にある。周期表において、ホウ素、ケイ素、ヒ素、テルル、アスタチン（これらは半金属と呼ばれる）を結ぶ斜めの線より左に位置する元素が金属元素に当たる。異なる金属同士の混合物である合金、ある種の非金属を含む相でも金属様性質を示すものは金属に含まれる。.
新しい！!: デザインルールチェックと金属 · 続きを見る »
配線
配線（はいせん）とは一般的に、信号や情報、電気（電源・電気信号）が伝わる導線や光信号を伝達する光ファイバなどのこと、もしくはそれを使って回路（電気回路ないし電子回路など）を構成することを指す。 鉄道の分野においては、線路のつながりや配置のことを配線とよぶ。（例：配線略図）.
新しい！!: デザインルールチェックと配線 · 続きを見る »
Layout versus schematic
Layout versus schematic (LVS) は、集積回路の設計に使用されるCADツール (プログラム)のひとつ。集積回路を製造するために作成したフォトマスクパターンが、設計した回路図と一致しているかを検証するために使用する。 マスクパターンからMOSFETなどの機能素子を抽出することにより回路図を推定し、本来の回路図データと比較する。設計の元となった回路網データと、設計後から抽出した回路網データと比較することにより、意図した設計がされたかの判断を行う。.
新しい！!: デザインルールチェックとLayout versus schematic · 続きを見る »
Portable Document Format
Portable Document Format（ポータブル・ドキュメント・フォーマット、略称：PDF）は、アドビシステムズが開発および提唱する、電子上の文書に関するファイルフォーマットである。1993年に発売されたAdobe Acrobatで採用された。 特定の環境に左右されずに全ての環境でほぼ同様の状態で文章や画像等を閲覧できる特性を持っている。 アドビシステムズはPDF仕様を1993年より無償で公開していたが、それでもPDF規格はAdobeが策定するプロプライエタリなフォーマットであった。2008年7月には国際標準化機構によってISO 32000-1として標準化された。アドビはISO 32000-1 についての特許を無償で利用できるようにしたが、XFA (Adobe XML Forms Architecture) やAdobe JavaScriptなどはアドビのプロプライエタリな部分として残っている。.
新しい！!: デザインルールチェックとPortable Document Format · 続きを見る »
検証
検証（けんしょう）とは、事実を確かめることである。論理学並びに法律学（民事訴訟法及び刑事訴訟法）の術語としても用いられる。 以下、論理学・法律学での用法について説明をする。一般的な用法については、証明の頁を参照のこと。.
新しい！!: デザインルールチェックと検証 · 続きを見る »
