您要查找的是不是：
- DRB顯示“DRIVER SQUIB CIRCUIT SHORTED”了嗎?DOES THE DRB SHOW "DRIVER SQUIB CIRCUIT SHORTE"?
- 最后討論了高速PCB(Printed Circuit Board)設計的要點(diǎn)以及PCB導線(xiàn)特性阻抗的計算方法。This controller can improve the performance of DSO in the display greatly. At last we also discussed the guidelines of high-speed board layout and the characteristic impedance's calculation of the circuit trace on the PCB.
- 算法是在聯(lián)接電路(Miter circuit)中進(jìn)行推理來(lái)簡(jiǎn)化驗證問(wèn)題,推理中使用了"與/非"圖結構簡(jiǎn)化、BDD擴展、隱含學(xué)習多種方法,最后 使用有效SAT解算器zChaff解決驗證任務(wù)。The algorithm uses several methods to reduce the space of the SAT reasoning first, those methods are AND/INVERTER graph transformation, BDD propagation and implication learning, CNF-based SAT solver zChaff is used to solve the verification task.
- 目前，基于SOC技術(shù)的嵌入式系統設計主要有兩種方法：基于專(zhuān)用集成電路的ASIC(Application Specific Integrated Circuit)，以及基于可編程邏輯器件的SOPC(System On a Programmable Chip)。Currently, the design of embedded system according to SOC has two kinds of methods: According to ASIC(the Application Specific Integrated Circuit)and the SOPC(the System On a Programmable Chip) of the programmable logic component.
