会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 1. 发明授权
    • Technology mapping technique for fracturable logic elements
    • 可分割逻辑元件的技术映射技术
    • US07100141B1
    • 2006-08-29
    • US10745913
    • 2003-12-23
    • Boris RatchevYean-Yow HwangBruce Pedersen
    • Boris RatchevYean-Yow HwangBruce Pedersen
    • G06F17/50
    • G06F17/5054
    • A technique of minimizes circuit area on programmable logic with fracturable logic elements by using “balancing” in the technology mapping stage of the programmable logic computer-aided-design flow. A fracturable LE can be used for logic implementation in many ways, such as being used as one maximum-sized look-up table (LUT) or multiple smaller LUTs. One of more inputs of the multiple smaller LUTs may be shared. By balancing, this means mean that the technology mapping algorithm is tuned to use more small LUTs and fewer maximum-sized LUTs to implement the circuit. Although this is counterintuitive since the larger LUTs are more effective at absorbing gates, the technique achieves a smaller final circuit area by packing small LUTs into fracturable LEs.
    • 通过在可编程逻辑计算机辅助设计流程的技术映射阶段中使用“平衡”来最小化具有可分解逻辑元件的可编程逻辑电路面积的技术。 可破碎的LE可以用于许多方式的逻辑实现,例如用作一个最大尺寸的查找表(LUT)或多个较小的LUT。 可以共享多个较小LUT的更多输入中的一个。 通过平衡,这意味着技术映射算法被调整为使用更小的LUT和更少的最大尺寸的LUT来实现电路。 虽然这是违反直觉的,因为较大的LUT在吸收栅极方面更有效,但是该技术通过将小型LUT封装成可分裂的LE来实现较小的最终电路面积。
    • 3. 发明授权
    • Verifying logic synthesizers
    • 验证逻辑合成器
    • US07080333B1
    • 2006-07-18
    • US10286374
    • 2002-10-31
    • Boris RatchevMike HuttonGregg Baeckler
    • Boris RatchevMike HuttonGregg Baeckler
    • G06F17/50
    • G06F17/505G06F17/5022
    • Methods and code for verifying that modifications or improvements to a synthesizer algorithm do not introduce errors. Specifically, a number or VHDL or Verilog models are chosen. Two netlists are then synthesized from each modeled circuit, once using a unmodified or trusted synthesizer, and once using the modified or improved synthesizer. For each circuit, a set of input test vectors are generated. These vectors are somewhat random in nature, but modified or generated intelligently using knowledge about the circuit to be testing. For each circuit, each netlist is simulated, generating a set of output vectors. These output vectors are compared. If the output vectors match each other for each of the circuits tested, there is a high probability that the improved or modified synthesizer is not introducing new errors into the netlist.
    • 用于验证对合成器算法进行修改或改进的方法和代码不会引入错误。 具体来说,选择一个或多个VHDL或Verilog模型。 然后从每个建模的电路合成两个网表,一次使用未修改或可信的合成器,一次使用修改或改进的合成器。 对于每个电路,生成一组输入测试向量。 这些向量本质上是随机的,但是使用关于要测试的电路的知识来智能地修改或生成。 对于每个电路,模拟每个网表,生成一组输出向量。 比较这些输出向量。 如果输出矢量对于所测试的每个电路彼此匹配,则改进或修改的合成器不会将新错误引入网表的概率很高。