会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 34. 发明公开
    • HARDWARE MONITOR TO VERIFY MEMORY UNITS
    • 硬件监视器来验证内存单元
    • EP3168746A1
    • 2017-05-17
    • EP16198506.4
    • 2016-11-11
    • Imagination Technologies Limited
    • DARBARI, AshishSINGLETON, Iain
    • G06F11/22G11C29/00
    • G11C29/38G06F11/2221G06F11/3037G06F11/3409G11C29/1201G11C29/44G11C2029/0409
    • Hardware monitors which can be used by a formal verification tool to exhaustively verify a hardware design for a memory unit. The hardware monitors include detection logic to monitor one or more control signals and/or data signals of an instantiation of the memory unit to detect symbolic writes and symbolic reads. In some examples a symbolic write is a write of symbolic data to a symbolic address; and in other examples a symbolic write is a write of any data to a symbolic address. A symbolic read is a read of the symbolic address. The hardware monitors also include assertion verification logic that verifies an assertion that read data corresponding to a symbolic reads matches write data associated with one or more symbolic writes preceding the read.
    • 硬件监视器可由形式验证工具使用,以彻底验证存储器单元的硬件设计。 硬件监视器包括检测逻辑以监视存储器单元的实例的一个或多个控制信号和/或数据信号以检测符号写入和符号读取。 在一些例子中,符号写入是将符号数据写入符号地址; 在其他例子中,符号写入是将任何数据写入符号地址。 符号读取是对符号地址的读取。 硬件监视器还包括断言验证逻辑,其验证断言,读取与符号读取相对应的数据匹配与读取之前的一个或多个符号写入相关联的写入数据。
    • 37. 发明公开
    • MEMORY WITH REDUNDANT SENSE AMPLIFIER
    • SPEICHER MIT EINEM REDUNDANTENERFASSUNGSVERSTÄRKER
    • EP2834817A1
    • 2015-02-11
    • EP13717609.5
    • 2013-03-25
    • Apple Inc.
    • SENINGEN, Michael R.RUNAS, Michael E.
    • G11C29/12G11C29/50
    • G11C11/418G11C7/06G11C7/1051G11C29/1201G11C29/50G11C29/50016G11C2029/1204G11C2029/5002
    • Embodiments of a memory are disclosed that may reduce the likelihood of a miss-read while reading a weak data storage cell. The memory may include a number of data storage cells, a column multiplexer, a first sense amplifier and a second sense amplifier, and an output circuit. The gain level of the first sense amplifier may be higher than the gain level of the second sense amplifier. The output circuit may include a multiplexer and the multiplexer may be operable to controllably select one of the outputs of the first and second sense amplifiers and pass the value of the selected sense amplifier. The output circuit may include a node that couples the outputs of the first and second sense amplifiers and the outputs of the first and second sense amplifiers may be able to be set to a high impedance state.
    • 公开了一种存储器的实施例,其可以在读取弱数据存储单元时降低读取错误的可能性。 存储器可以包括多个数据存储单元,列多路复用器,第一读出放大器和第二读出放大器以及输出电路。 第一读出放大器的增益电平可以高于第二读出放大器的增益电平。 输出电路可以包括多路复用器,并且多路复用器可以可操作地可控地选择第一和第二读出放大器的输出之一并传递所选择的读出放大器的值。 输出电路可以包括耦合第一和第二读出放大器的输出的节点,并且第一和第二读出放大器的输出能够被设置为高阻抗状态。