High-Level Low-Power Synthesis of Real-Time Systems Using Time Petri Nets

Hu Xiao, Li Xi, and Gong Yuchang

Journal of Computer Research and Development > 2006 > 43(1): 176-184.

Hu Xiao, Li Xi, and Gong Yuchang. High-Level Low-Power Synthesis of Real-Time Systems Using Time Petri Nets[J]. Journal of Computer Research and Development, 2006, 43(1): 176-184.

Citation:

Hu Xiao, Li Xi, and Gong Yuchang. High-Level Low-Power Synthesis of Real-Time Systems Using Time Petri Nets[J]. Journal of Computer Research and Development, 2006, 43(1): 176-184.

Citation:

Hu Xiao, Li Xi, and Gong Yuchang. High-Level Low-Power Synthesis of Real-Time Systems Using Time Petri Nets[J]. Journal of Computer Research and Development, 2006, 43(1): 176-184.

PDF (617 KB)

High-Level Low-Power Synthesis of Real-Time Systems Using Time Petri Nets

Hu Xiao, Li Xi, and Gong Yuchang

(Department of Computer Science and Technology, University of Science and Technology of China, Hefei 230027)

More Information

Published Date: January 14, 2006

Graphical Abstract

Abstract

Abstract

In this paper, using time Petri nets (TPNs) as specification models, system functionality and timeliness are first verified. Then a heuristic algorithm is proposed to optimize the system energy, which is driven by subtasks' energy-gradients and can be further simplified in the case that TPNs are composable. The experimental results show that the proposed methods can support the high-level low-power synthesis of real-time systems with results close to the optimum one, but with very low time complexities.
- real-time low-power design,
- time Petri net,
- high-level synthesis,
- system-level design

FullText(HTML)

References (0)

[1]	Wu Wenlong, Yin Hailian, Wang Ning, Xu Mengfei, Zhao Xinzhe, Yin Zhanzuo, Liu Yuanrui, Wang Haofen, Ding Yan, Li Bohan. A Synergetic LLM-KG Framework for Cross-Domain Heterogeneous Data Query[J]. Journal of Computer Research and Development, 2025, 62(3): 605-619. DOI: 10.7544/issn1000-1239.202440634
[2]	Wang Mengru, Yao Yunzhi, Xi Zekun, Zhang Jintian, Wang Peng, Xu Ziwen, Zhang Ningyu. Safety Analysis of Large Model Content Generation Based on Knowledge Editing[J]. Journal of Computer Research and Development, 2024, 61(5): 1143-1155. DOI: 10.7544/issn1000-1239.202330965
[3]	Guo Jiang, Wang Miao, Zhang Yujun. Content Type Based Jumping Probability Caching Mechanism in NDN[J]. Journal of Computer Research and Development, 2021, 58(5): 1118-1128. DOI: 10.7544/issn1000-1239.2021.20190871
[4]	Li Li, Liu Huanyu, Lu Laifeng. Probabilistic Caching Content Placement Method Based on Content-Centrality[J]. Journal of Computer Research and Development, 2020, 57(12): 2648-2661. DOI: 10.7544/issn1000-1239.2020.20190704
[5]	Wang Yishu, Yuan Ye, Liu Meng, Wang Guoren. Survey of Query Processing and Mining Techniques over Large Temporal Graph Database[J]. Journal of Computer Research and Development, 2018, 55(9): 1889-1902. DOI: 10.7544/issn1000-1239.2018.20180132
[6]	Huang Sheng, Teng Mingnian, Wu Zhen, Xu Jianghua, Ji Ruijun. A Data Caching Scheme Based on Node Classification in Named Data Networking[J]. Journal of Computer Research and Development, 2016, 53(6): 1281-1291. DOI: 10.7544/issn1000-1239.2016.20148097
[7]	Li Ruimin, Lin Hongfei, Yan Jun. Mining Latent Semantic on User-Tag-Item for Personalized Music Recommendation[J]. Journal of Computer Research and Development, 2014, 51(10): 2270-2276. DOI: 10.7544/issn1000-1239.2014.20130342
[8]	Wang Zhurong, Li Wei, Zhu Bilei, Li Xiaoqiang. Audio Authentication Based on Music Content Analysis[J]. Journal of Computer Research and Development, 2012, 49(1): 158-166.
[9]	Huang Zhenhua and Wang Wei. An Algebra for Skyline Query Processing Data Cube[J]. Journal of Computer Research and Development, 2007, 44(6): 990-999.
[10]	Zheng Guibin, Han Jiqing. Automatic Music Transcription Based on Harmonic Structure Information[J]. Journal of Computer Research and Development, 2006, 43(12): 2187-2192.