期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
一种基于Open Vera实现的L2 cache验证平台
1
作者 陈莹 樊晓桠 《微电子学与计算机》 CSCD 北大核心 2008年第11期216-218,221,共4页
随着设计复杂度的不断增加和设计规模的不断增大,传统的验证工具已难以适应当前功能验证的要求.Vera为验证增添了强大的语言能力.使用Vera建立验证平台,它独有的特性能够隐藏设计中的复杂性,从而使testbench的编写更见简洁.通过使用动... 随着设计复杂度的不断增加和设计规模的不断增大,传统的验证工具已难以适应当前功能验证的要求.Vera为验证增添了强大的语言能力.使用Vera建立验证平台,它独有的特性能够隐藏设计中的复杂性,从而使testbench的编写更见简洁.通过使用动态的激励驱动,实现了实际工作中的状态和全部极端的条件,从而发现设计中存在的瑕疵.使用Open Vera验证语言构建了"龙腾R2"L2cache验证平台,成功完成了"龙腾R2"的验证工作. 展开更多
关键词 验证 VErA 二级CACHE “龙腾r2 验证平台
下载PDF
On the road towards the global analysis of human synapses
2
作者 G.Aleph Prieto Carl W.Cotman 《Neural Regeneration Research》 SCIE CAS CSCD 2017年第10期1586-1589,共4页
Synapses are essential units for the flow of information in the brain.Over the last 70 years,synapses have been widely studied in multiple animal models including worms,fruit flies,and rodents.In comparison,the study ... Synapses are essential units for the flow of information in the brain.Over the last 70 years,synapses have been widely studied in multiple animal models including worms,fruit flies,and rodents.In comparison,the study of human synapses has evolved significantly slower,mainly because of technical limitations.However,three novel methods allowing the analysis of molecular,morphological,and functional properties of human synapses may expand our knowledge of the human brain.Here,we briefly describe these methods,and evaluate how the information provided by each unique approach may contribute to the functional and anatomical analysis of the synaptic component of human brain circuitries.In particular,using tissue from cryopreserved human brains,synaptic plasticity can be studied in isolated synaptosomes by fluorescence analysis of single-synapse long-term potentiation(FASS-LTP),and subpopulations of synapses can be thoroughly assessed in the ribbons of brain tissue by array tomography(AT).Currently,it is also possible to quantify synaptic density in the living human brain by positron emission tomography(PET),using a novel synaptic radio-ligand.Overall,data provided by FASS-LTP,AT,and PET may significantly contribute to the global understanding of synaptic structure and function in both healthy and diseased human brains,thus directly impacting translational research. 展开更多
关键词 fluorescence analysis of single-synapse long-term potentiation array tomography positron emission tomography synaptosomes flow cytometry microscopy [11C]UCB-J[(r)-1-((3-(11C-methyl-11C)pyridin-4-yl)methyl)-4-(3 4 5-trifluorophenyl)pyrrolidin-2-one]
下载PDF
M2 pyruvate kinase enhances HIV-1 transcription from its long terminal repeat
3
作者 Xiaoyun WU Guozhen GAO +2 位作者 Musarat ISHAQ Tao HU Deyin GUO 《Frontiers in Biology》 CSCD 2010年第1期59-66,共8页
Both thymocytes and tumor cells express M2 type isoenzyme of pyruvate kinase(M2PK),which is different from R type isoenzyme of pyruvate kinase(RPK)that is expressed in erythrocytes.In this report,the effect of RPK and... Both thymocytes and tumor cells express M2 type isoenzyme of pyruvate kinase(M2PK),which is different from R type isoenzyme of pyruvate kinase(RPK)that is expressed in erythrocytes.In this report,the effect of RPK and M2PK on the transcription of human immunodeficiency virus type 1(HIV-1)was tested.The results indicated that M2PK could enhance HIV-1 transcription from its long terminal repeat(LTR)promoter,while RPK did not have such an effect.Specific down-regulation of M2PK could inhibit HIV-1 transcription from its LTR region.Furthermore,it was found that the C terminal region of M2PK is responsible for this effect.Collectively,the cellular factor M2PK that is expressed in thymocytes could facilitate the transcription of HIV-1. 展开更多
关键词 Human immunodeficiency virus type 1(HIV-1) TrANSCrIPTION M2 type isoenzyme of pyruvate kinase(M2PK) r type isoenzyme of pyruvate kinase(rPK) nuclear factorκB(NFκB) long terminal repeat(LTr)
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部