www.mentor.com Open in urlscan Pro
143.204.101.50 Public Scan

Go To Rescan
Add Verdict Report

Submitted URL:
http://lyris.mentor-info.com/t/398045/25690134/125178/42394/?4f415564=mju2otaxmzq
Effective URL:
https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equival...
Submission: On January 15 via api (January 15th 2020, 7:04:00 am UTC) from NL

Summary HTTP 46 Redirects Links 7 Behaviour Indicators

Summary

This website contacted 18 IPs in 6 countries across 18 domains to perform 46 HTTP transactions. The main IP is 143.204.101.50, located in Seattle, United States and belongs to AMAZON-02 - Amazon.com, Inc., US. The main domain is www.mentor.com.
TLS certificate: Issued by Amazon on December 19th 2019. Valid for: a year.

This is the only time www.mentor.com was scanned on urlscan.io!

urlscan.io Verdict: No classification

Domain & IP information

	IP Address	AS Autonomous System
1 1	192.94.39.222 192.94.39.222	13541 (MENTORGRA...) (MENTORGRAPHICS - Mentor Graphics Corporation)
1 2	143.204.101.50 143.204.101.50	16509 (AMAZON-02) (AMAZON-02 - Amazon.com)
1 1	34.232.24.156 34.232.24.156	14618 (AMAZON-AES) (AMAZON-AES - Amazon.com)
13	68.232.35.117 68.232.35.117	15133 (EDGECAST) (EDGECAST - MCI Communications Services)
1	2600:9000:20e... 2600:9000:20eb:b200:1:a3fa:7cc0:93a1	16509 (AMAZON-02) (AMAZON-02 - Amazon.com)
1	143.204.103.120 143.204.103.120	16509 (AMAZON-02) (AMAZON-02 - Amazon.com)
6	52.216.162.245 52.216.162.245	16509 (AMAZON-02) (AMAZON-02 - Amazon.com)
4	2a04:4e42:3::720 2a04:4e42:3::720	54113 (FASTLY) (FASTLY - Fastly)
2	23.210.248.44 23.210.248.44	16625 (AKAMAI-AS) (AKAMAI-AS - Akamai Technologies)
1	2a00:1450:400... 2a00:1450:4001:81a::2008	15169 (GOOGLE) (GOOGLE - Google LLC)
1	216.58.207.34 216.58.207.34	15169 (GOOGLE) (GOOGLE - Google LLC)
1 4	2a00:1450:400... 2a00:1450:4001:819::2002	15169 (GOOGLE) (GOOGLE - Google LLC)
2 5	2001:4860:480... 2001:4860:4802:32::75	15169 (GOOGLE) (GOOGLE - Google LLC)
5	2a00:1450:400... 2a00:1450:4001:825::2003	15169 (GOOGLE) (GOOGLE - Google LLC)
1	23.210.250.213 23.210.250.213	16625 (AKAMAI-AS) (AKAMAI-AS - Akamai Technologies)
1	15.188.31.119 15.188.31.119	16509 (AMAZON-02) (AMAZON-02 - Amazon.com)
1 2	2a00:1450:400... 2a00:1450:4001:816::200e	15169 (GOOGLE) (GOOGLE - Google LLC)
1	143.204.101.123 143.204.101.123	16509 (AMAZON-02) (AMAZON-02 - Amazon.com)
1 1	2a00:1450:400... 2a00:1450:400c:c0c::9c	15169 (GOOGLE) (GOOGLE - Google LLC)
1	13.225.78.115 13.225.78.115	16509 (AMAZON-02) (AMAZON-02 - Amazon.com)
46	18

1 192.94.39.222 (United States) 1 redirects

ASN13541 (MENTORGRAPHICS - Mentor Graphics Corporation, US)
PTR: pvip22.mentorg.com

lyris.mentor-info.com	Domain lookup VirusTotal SecurityTrails crt.sh Censys Domaintools

2 143.204.101.50 (Seattle, United States) 1 redirects

ASN16509 (AMAZON-02 - Amazon.com, Inc., US)
PTR: server-143-204-101-50.fra50.r.cloudfront.net

www.mentor.com	Domain lookup VirusTotal SecurityTrails crt.sh Censys Domaintools

1 34.232.24.156 (Ashburn, United States) 1 redirects

ASN14618 (AMAZON-AES - Amazon.com, Inc., US)
PTR: ec2-34-232-24-156.compute-1.amazonaws.com

accounts.mentor.com	Domain lookup VirusTotal SecurityTrails crt.sh Censys Domaintools

13 68.232.35.117 (United States)

ASN15133 (EDGECAST - MCI Communications Services, Inc. d/b/a Verizon Business, US)

static.mentor-cdn.com	Domain lookup VirusTotal SecurityTrails crt.sh Censys Domaintools
images.mentor-cdn.com	Domain lookup VirusTotal SecurityTrails crt.sh Censys Domaintools

1 2600:9000:20eb:b200:1:a3fa:7cc0:93a1 (United States)

ASN16509 (AMAZON-02 - Amazon.com, Inc., US)

content.jwplatform.com	Domain lookup VirusTotal SecurityTrails crt.sh Censys Domaintools

1 143.204.103.120 (Seattle, United States)

ASN16509 (AMAZON-02 - Amazon.com, Inc., US)
PTR: server-143-204-103-120.fra50.r.cloudfront.net

cdn.auth0.com	Domain lookup VirusTotal SecurityTrails crt.sh Censys Domaintools

6 52.216.162.245 (Ashburn, United States)

ASN16509 (AMAZON-02 - Amazon.com, Inc., US)
PTR: s3-1.amazonaws.com

s3.amazonaws.com	Domain lookup VirusTotal SecurityTrails crt.sh Censys Domaintools

4 2a04:4e42:3::720 (Ascension Island)

ASN54113 (FASTLY - Fastly, US)

mgc-images.imgix.net	Domain lookup VirusTotal SecurityTrails crt.sh Censys Domaintools

2 23.210.248.44 (Netherlands)

ASN16625 (AKAMAI-AS - Akamai Technologies, Inc., US)
PTR: a23-210-248-44.deploy.static.akamaitechnologies.com

s7.addthis.com	Domain lookup VirusTotal SecurityTrails crt.sh Censys Domaintools
v1.addthisedge.com	Domain lookup VirusTotal SecurityTrails crt.sh Censys Domaintools

1 2a00:1450:4001:81a::2008 (Frankfurt am Main, Germany)

ASN15169 (GOOGLE - Google LLC, US)

www.googletagmanager.com	Domain lookup VirusTotal SecurityTrails crt.sh Censys Domaintools

1 216.58.207.34 (Mountain View, United States)

ASN15169 (GOOGLE - Google LLC, US)
PTR: fra16s24-in-f2.1e100.net

www.googleadservices.com	Domain lookup VirusTotal SecurityTrails crt.sh Censys Domaintools

4 2a00:1450:4001:819::2002 (Frankfurt am Main, Germany) 1 redirects

ASN15169 (GOOGLE - Google LLC, US)

googleads.g.doubleclick.net	Domain lookup VirusTotal SecurityTrails crt.sh Censys Domaintools

5 2001:4860:4802:32::75 (United States) 2 redirects

ASN15169 (GOOGLE - Google LLC, US)

www.google.com	Domain lookup VirusTotal SecurityTrails crt.sh Censys Domaintools

5 2a00:1450:4001:825::2003 (Frankfurt am Main, Germany)

ASN15169 (GOOGLE - Google LLC, US)

www.google.de	Domain lookup VirusTotal SecurityTrails crt.sh Censys Domaintools

1 23.210.250.213 (Netherlands)

ASN16625 (AKAMAI-AS - Akamai Technologies, Inc., US)
PTR: a23-210-250-213.deploy.static.akamaitechnologies.com

z.moatads.com	Domain lookup VirusTotal SecurityTrails crt.sh Censys Domaintools

1 15.188.31.119 (Paris, France)

ASN16509 (AMAZON-02 - Amazon.com, Inc., US)
PTR: ec2-15-188-31-119.eu-west-3.compute.amazonaws.com

strack.mentor.com	Domain lookup VirusTotal SecurityTrails crt.sh Censys Domaintools

2 2a00:1450:4001:816::200e (Frankfurt am Main, Germany) 1 redirects

ASN15169 (GOOGLE - Google LLC, US)

www.google-analytics.com	Domain lookup VirusTotal SecurityTrails crt.sh Censys Domaintools

1 143.204.101.123 (Seattle, United States)

ASN16509 (AMAZON-02 - Amazon.com, Inc., US)
PTR: server-143-204-101-123.fra50.r.cloudfront.net

d31qbv1cthcecs.cloudfront.net	Domain lookup VirusTotal SecurityTrails crt.sh Censys Domaintools

1 2a00:1450:400c:c0c::9c (Brussels, Belgium) 1 redirects

ASN15169 (GOOGLE - Google LLC, US)

stats.g.doubleclick.net	Domain lookup VirusTotal SecurityTrails crt.sh Censys Domaintools

1 13.225.78.115 (Seattle, United States)

ASN16509 (AMAZON-02 - Amazon.com, Inc., US)
PTR: server-13-225-78-115.fra2.r.cloudfront.net

certify.alexametrics.com	Domain lookup VirusTotal SecurityTrails crt.sh Censys Domaintools

	Apex Domain Subdomains	Transfer
13	mentor-cdn.com static.mentor-cdn.com images.mentor-cdn.com	544 KB
6	amazonaws.com s3.amazonaws.com	17 KB
5	google.de www.google.de	549 B
5	google.com 2 redirects www.google.com	1 KB
5	doubleclick.net 2 redirects googleads.g.doubleclick.net stats.g.doubleclick.net	5 KB
4	imgix.net mgc-images.imgix.net	423 KB
4	mentor.com 2 redirects www.mentor.com accounts.mentor.com strack.mentor.com	14 KB
2	google-analytics.com 1 redirects www.google-analytics.com	18 KB
1	alexametrics.com certify.alexametrics.com	551 B
1	addthisedge.com v1.addthisedge.com	223 B
1	cloudfront.net d31qbv1cthcecs.cloudfront.net	2 KB
1	moatads.com z.moatads.com	1 KB
1	googleadservices.com www.googleadservices.com	10 KB
1	googletagmanager.com www.googletagmanager.com	21 KB
1	addthis.com s7.addthis.com	113 KB
1	auth0.com cdn.auth0.com	33 KB
1	jwplatform.com content.jwplatform.com	50 KB
1	mentor-info.com 1 redirects lyris.mentor-info.com	2 KB
46	18

	Domain	Requested by
12	static.mentor-cdn.com	www.mentor.com static.mentor-cdn.com
6	s3.amazonaws.com	www.mentor.com static.mentor-cdn.com
5	www.google.de	www.mentor.com
5	www.google.com	2 redirects www.mentor.com
4	googleads.g.doubleclick.net	1 redirects www.googleadservices.com
4	mgc-images.imgix.net	www.mentor.com
2	www.google-analytics.com	1 redirects www.mentor.com
2	www.mentor.com	1 redirects
1	certify.alexametrics.com	www.mentor.com
1	stats.g.doubleclick.net	1 redirects
1	v1.addthisedge.com	s7.addthis.com
1	d31qbv1cthcecs.cloudfront.net	www.mentor.com
1	strack.mentor.com	www.mentor.com
1	z.moatads.com	s7.addthis.com
1	www.googleadservices.com	www.googletagmanager.com
1	images.mentor-cdn.com	www.mentor.com
1	www.googletagmanager.com	www.mentor.com
1	s7.addthis.com	www.mentor.com
1	cdn.auth0.com	www.mentor.com
1	content.jwplatform.com	www.mentor.com
1	accounts.mentor.com	1 redirects
1	lyris.mentor-info.com	1 redirects
46	22

This site contains links to these domains. Also see Links.

Domain
mentor.com
addthis.com
www.linkedin.com
twitter.com
www.facebook.com
www.youtube.com
plus.google.com

Subject Issuer	Validity	Valid
mentor.com Amazon	`2019-12-19` - `2021-01-19`	a year	crt.sh
static.mentor-cdn.com DigiCert SHA2 Extended Validation Server CA	`2019-11-05` - `2021-11-12`	2 years	crt.sh
jwplayer.com Amazon	`2019-03-28` - `2020-04-28`	a year	crt.sh
*.auth0.com Amazon	`2019-06-21` - `2020-07-21`	a year	crt.sh
s3.amazonaws.com DigiCert Baltimore CA-2 G2	`2019-11-09` - `2020-12-02`	a year	crt.sh
imgix.map.fastly.net GlobalSign CloudSSL CA - SHA256 - G3	`2019-08-20` - `2020-08-20`	a year	crt.sh
odc-prod-01.oracle.com DigiCert SHA2 Secure Server CA	`2019-10-10` - `2020-09-04`	a year	crt.sh
*.google-analytics.com GTS CA 1O1	`2019-12-10` - `2020-03-03`	3 months	crt.sh
www.googleadservices.com GTS CA 1O1	`2019-12-10` - `2020-03-03`	3 months	crt.sh
*.g.doubleclick.net GTS CA 1O1	`2019-12-10` - `2020-03-03`	3 months	crt.sh
www.google.de GTS CA 1O1	`2019-12-10` - `2020-03-03`	3 months	crt.sh
www.google.com GTS CA 1O1	`2019-12-10` - `2020-03-03`	3 months	crt.sh
moatads.com DigiCert ECC Secure Server CA	`2018-11-10` - `2020-02-09`	a year	crt.sh
strack.mentor.com DigiCert SHA2 High Assurance Server CA	`2019-02-12` - `2020-05-15`	a year	crt.sh
*.cloudfront.net DigiCert Global CA G2	`2019-07-17` - `2020-07-05`	a year	crt.sh
certify.alexametrics.com Amazon	`2019-07-26` - `2020-08-26`	a year	crt.sh

This page contains 1 frames:

Primary Page: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
Frame ID: D296A31F35D96A1159915620615F9575
Requests: 47 HTTP requests in this frame

Screenshot
Live screenshot

Full Image

Page URL History Show full URLs

http://lyris.mentor-info.com/t/398045/25690134/125178/42394/?4f415564=mju2otaxmzq HTTP 302
https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-... HTTP 302
https://accounts.mentor.com/accounts/?do=signinById&mid=25690134&returnUrl=https%3A%2F%2Fwww%2Ementor%2E... HTTP 302
https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-... Page URL

Detected technologies

Amazon Web Services (PaaS) Expand

Overall confidence: 100%
Detected patterns

headers via /$CloudFront$$/i

Amazon Cloudfront (CDN) Expand

Overall confidence: 100%
Detected patterns

headers via /$CloudFront$$/i

Google Analytics (Analytics) Expand

Overall confidence: 100%
Detected patterns

script /google-analytics\.com\/(?:ga|urchin|analytics)\.js/i

jQuery (JavaScript Libraries) Expand

Overall confidence: 100%
Detected patterns

script /\/([\d.]+)\/jquery(?:\.min)?\.js/i
script /jquery.*\.js(?:\?ver(?:sion)?=([\d.]+))?/i
script /jquery[.-]migrate(?:-([\d.]+))?(?:\.min)?\.js(?:\?ver=([\d.]+))?/i

jQuery Migrate (JavaScript Libraries) Expand

Overall confidence: 100%
Detected patterns

script /jquery[.-]migrate(?:-([\d.]+))?(?:\.min)?\.js(?:\?ver=([\d.]+))?/i

Page Statistics

46
Requests

100 %
HTTPS

40 %
IPv6

18
Domains

22
Subdomains

18
IPs

6
Countries

1249 kB
Transfer

3394 kB
Size

18
Cookies

7 Outgoing links

These are links going to different origins than the main page.

URL: https://mentor.com/
Title: Mentor, A Siemens Business

Search URL Search Domain Scan URL

URL: http://addthis.com/bookmark.php?v=250&username=mentorwst
Title: Share This Resource

Search URL Search Domain Scan URL

URL: http://www.linkedin.com/company/mentor_graphics

Search URL Search Domain Scan URL

URL: https://twitter.com/mentor_graphics

Search URL Search Domain Scan URL

URL: https://www.facebook.com/pages/Mentor-Graphics/362609027104610

Search URL Search Domain Scan URL

URL: http://www.youtube.com/channel/UC6glMEaanKWD86NEjwbtgfg

Search URL Search Domain Scan URL

URL: https://plus.google.com/b/102197424811444669688/102197424811444669688/posts

Search URL Search Domain Scan URL

Page URL History

This captures the URL locations of the websites, including HTTP redirects and client-side redirects via JavaScript or Meta fields.

http://lyris.mentor-info.com/t/398045/25690134/125178/42394/?4f415564=mju2otaxmzq HTTP 302
https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?clp=1&mid=25690134&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp HTTP 302
https://accounts.mentor.com/accounts/?do=signinById&mid=25690134&returnUrl=https%3A%2F%2Fwww%2Ementor%2Ecom%2Fhls%2Dlp%2Fresources%2Foverview%2Frenesas%2Dsolves%2Dhigh%2Dlevel%2Dverification%2Dchallenges%2Dusing%2Dformal%2Dequivalence%2Dchecking%2D75c692df%2Db103%2D42c3%2Da5d8%2D5b5f9e6b0f94%3Fuuid%3D75c692df%2Db103%2D42c3%2Da5d8%2D5b5f9e6b0f94%26clp%3D1%26contactid%3D1%26PC%3DL%26c%3D2020%5F01%5F14%5Fhls%5Frenesas%5Ffomal%5Fchecking%5Fwp HTTP 302
https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp Page URL

Redirected requests

There were HTTP redirect chains for the following requests:

Request Chain 25

https://googleads.g.doubleclick.net/pagead/viewthroughconversion/1071406762/?random=1579071843157&cv=9&fst=1579071843157&num=1&fmt=3&guid=ON&resp=GooglemKTybQhCsO&u_h=1200&u_w=1600&u_ah=1200&u_aw=1600&u_cd=24&u_his=2&u_tz=60&u_java=false&u_nplug=0&u_nmime=0&gtm=2wgc61&sendb=1&ig=1&frm=0&url=https%3A%2F%2Fwww.mentor.com%2Fhls-lp%2Fresources%2Foverview%2Frenesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94%3Fuuid%3D75c692df-b103-42c3-a5d8-5b5f9e6b0f94%26clp%3D1%26contactid%3D1%26PC%3DL%26c%3D2020_01_14_hls_renesas_fomal_checking_wp&tiba=Renesas%20Solves%20High-Level%20Verification%20Challenges%20Using%20Formal%20Equivalence%20Checking%20-%20Mentor%20Graphics&hn=www.googleadservices.com&async=1 HTTP 302
https://www.google.com/pagead/1p-user-list/1071406762/?random=1579071843157&cv=9&fst=1579071600000&num=1&fmt=3&guid=ON&u_h=1200&u_w=1600&u_ah=1200&u_aw=1600&u_cd=24&u_his=2&u_tz=60&u_java=false&u_nplug=0&u_nmime=0&gtm=2wgc61&sendb=1&frm=0&url=https%3A%2F%2Fwww.mentor.com%2Fhls-lp%2Fresources%2Foverview%2Frenesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94%3Fuuid%3D75c692df-b103-42c3-a5d8-5b5f9e6b0f94%26clp%3D1%26contactid%3D1%26PC%3DL%26c%3D2020_01_14_hls_renesas_fomal_checking_wp&tiba=Renesas%20Solves%20High-Level%20Verification%20Challenges%20Using%20Formal%20Equivalence%20Checking%20-%20Mentor%20Graphics&async=1&is_vtc=1&random=1713137333&resp=GooglemKTybQhCsO HTTP 302
https://www.google.de/pagead/1p-user-list/1071406762/?random=1579071843157&cv=9&fst=1579071600000&num=1&fmt=3&guid=ON&u_h=1200&u_w=1600&u_ah=1200&u_aw=1600&u_cd=24&u_his=2&u_tz=60&u_java=false&u_nplug=0&u_nmime=0&gtm=2wgc61&sendb=1&frm=0&url=https%3A%2F%2Fwww.mentor.com%2Fhls-lp%2Fresources%2Foverview%2Frenesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94%3Fuuid%3D75c692df-b103-42c3-a5d8-5b5f9e6b0f94%26clp%3D1%26contactid%3D1%26PC%3DL%26c%3D2020_01_14_hls_renesas_fomal_checking_wp&tiba=Renesas%20Solves%20High-Level%20Verification%20Challenges%20Using%20Formal%20Equivalence%20Checking%20-%20Mentor%20Graphics&async=1&is_vtc=1&random=1713137333&resp=GooglemKTybQhCsO&ipr=y

Request Chain 44

https://www.google-analytics.com/r/collect?v=1&_v=j79&a=1682285114&t=pageview&_s=1&dl=https%3A%2F%2Fwww.mentor.com%2Fhls-lp%2Fresources%2Foverview%2Frenesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94%3Fuuid%3D75c692df-b103-42c3-a5d8-5b5f9e6b0f94%26clp%3D1%26contactid%3D1%26PC%3DL%26c%3D2020_01_14_hls_renesas_fomal_checking_wp&ul=en-us&de=UTF-8&dt=Renesas%20Solves%20High-Level%20Verification%20Challenges%20Using%20Formal%20Equivalence%20Checking%20-%20Mentor%20Graphics&sd=24-bit&sr=1600x1200&vp=1585x1200&je=0&_u=YEBAAAAB~&jid=239798907&gjid=1159747166&cid=784722459.1579071843&tid=UA-7441435-1&_gid=1472633022.1579071843&_r=1&cd2=Ad%20hoc&cd1=Technical_Publication&z=41159341 HTTP 302
https://stats.g.doubleclick.net/r/collect?v=1&aip=1&t=dc&_r=3&tid=UA-7441435-1&cid=784722459.1579071843&jid=239798907&_gid=1472633022.1579071843&gjid=1159747166&_v=j79&z=41159341 HTTP 302
https://www.google.com/ads/ga-audiences?v=1&aip=1&t=sr&_r=4&tid=UA-7441435-1&cid=784722459.1579071843&jid=239798907&_v=j79&z=41159341 HTTP 302
https://www.google.de/ads/ga-audiences?v=1&aip=1&t=sr&_r=4&tid=UA-7441435-1&cid=784722459.1579071843&jid=239798907&_v=j79&z=41159341&slf_rd=1&random=717963782

46 HTTP transactions
1 data transactions

Method
Protocol Status Resource
Path Size
x-fer Time
Latency Type
MIME-Type IP
Location

GET
H/1.1

200
OK

Primary Request

Cookie set renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94 Show response
www.mentor.com/hls-lp/resources/overview/
Redirect Chain

http://lyris.mentor-info.com/t/398045/25690134/125178/42394/?4f415564=mju2otaxmzq
https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?clp=1&mid=25690134&PC=L&c=2...
https://accounts.mentor.com/accounts/?do=signinById&mid=25690134&returnUrl=https%3A%2F%2Fwww%2Ementor%2Ecom%2Fhls%2Dlp%2Fresources%2Foverview%2Frenesas%2Dsolves%2Dhigh%2Dlevel%2Dverification%2Dchal...
https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d...

31 KB
11 KB

1131ms
1131ms

Document
text/html

143.204.101.50
Amazon.com

General

Check archive.org

Download Go to

Full URL

https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp

Protocol

HTTP/1.1

Security

TLS 1.2, ECDHE_RSA, AES_128_GCM

Server

143.204.101.50 Seattle, United States, ASN16509 (AMAZON-02 - Amazon.com, Inc., US),

Reverse DNS

server-143-204-101-50.fra50.r.cloudfront.net

Software

Resource Hash

b8b7f29e4041986efab20148abdbf975dab6ceae168b4cbb79be66f9641bf7c0

Security Headers

Name	Value
Strict-Transport-Security	max-age=15552000; includeSubdomains;
X-Content-Type-Options	nosniff
X-Frame-Options	SAMEORIGIN
X-Xss-Protection	1; mode=block

Request headers

Host: www.mentor.com
Connection: keep-alive
Pragma: no-cache
Cache-Control: no-cache
Upgrade-Insecure-Requests: 1
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36
Accept: text/html,application/xhtml+xml,application/xml;q=0.9,image/webp,image/apng,*/*;q=0.8,application/signed-exchange;v=b3
Sec-Fetch-Site: none
Sec-Fetch-Mode: navigate
Accept-Encoding: gzip, deflate, br
Cookie: JSESSIONID=D4BE65EDE6BD9789668AF26C6BCA5F4D.www2; MID=9492985%3A2%3A1579071781%3Adbaaf1b9c42d208482836b25f555a414; SESSIONTYPE=adhoc
Upgrade-Insecure-Requests: 1
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

Content-Type: text/html;charset=UTF-8
Transfer-Encoding: chunked
Connection: keep-alive
Date: Wed, 15 Jan 2020 07:04:02 GMT
X-Frame-Options: SAMEORIGIN
P3P: CP="CAO PSA OUR"
X-WST-Content-Cache-Elapsed: 683 ms
X-WST-Content-Not-Cached-Reason: cache-miss: Cache busting enabled.
X-WST-Content-Cache-Key: /hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?clp=1&uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94
X-WST-Content-Cached: false
X-WST-Process-SSI: 16 ms (count: 10)
X-WST-Request-Elapsed: 824 ms
Content-Language: en-US
Set-Cookie: JSESSIONID=29D897B02151E025D736D77C419EB6F8.www6; Path=/; Secure; HttpOnly s_MID=1579071842035%3AE9EC9777CCA33367E93C54CF475507D2; path=/; HttpOnly; MGC_CMP=%7B%22PC%22%3A%22L%22%2C%22c%22%3A%222020%5F01%5F14%5Fhls%5Frenesas%5Ffomal%5Fchecking%5Fwp%22%7D; expires=Thu, 16-Jan-2020 07:04:02 GMT; domain=mentor.com; path=/; HttpOnly; secure OVISITOR_ID=1579071842834214211E38C443704908A2A69DBD04D11CBC5B597843FD305C70CC85DD5BC1B0E;Path=/;Domain=.mentor.com;Expires=Thu, 13-Jan-2050 14:55:32 GMT;Secure;HTTPOnly
Vary: Accept-Encoding,User-Agent
Content-Encoding: gzip
X-Content-Type-Options: nosniff
X-XSS-Protection: 1; mode=block
Strict-Transport-Security: max-age=15552000; includeSubdomains;
Cache-Control: no-store
Content-Security-Policy-Report-Only: default-src 'none'; connect-src https:; font-src https: data:; frame-src https://diswlogin.siemens.com https://*.sw.siemens.com https://www.youtube.com https://*.google.com https://www.youtube.com https://video.mentor.com https://*.mentor.com https://*.ias.plm.automation.siemens.com https://www.pads.com https://*.auth0.com https://*.addthis.com https://www.linkedin.com https://*.g.doubleclick.net; img-src https: data:; media-src https://videos.mentor-cdn.com; script-src 'unsafe-inline' 'unsafe-eval' https:; style-src 'unsafe-inline' https:; manifest-src 'self'; report-uri https://csp.mentor-apis.com/Prod/report
X-Cache: Miss from cloudfront
Via: 1.1 baaf38f0a0d54e4834bf934fa5189ceb.cloudfront.net (CloudFront)
X-Amz-Cf-Pop: FRA50-C1
X-Amz-Cf-Id: FUOT6GYVm3anQn-SbI_HS7o3Z7BHAakCIBkF66qd6UUWql10D1pz3g==

Redirect headers

status: 302
date: Wed, 15 Jan 2020 07:04:01 GMT
content-type: text/html;charset=UTF-8
content-length: 399
location: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
server: Apache
set-cookie: cfid=a3bbe905-15f8-485a-8404-760eebc9c476;Path=/;Expires=Thu, 13-Jan-2050 14:55:31 GMT;HTTPOnly cftoken=0;Path=/;Expires=Thu, 13-Jan-2050 14:55:31 GMT;HTTPOnly MID=9492985%3A2%3A1579071781%3Adbaaf1b9c42d208482836b25f555a414;Path=/;Domain=.mentor.com;Expires=Wed, 12-Feb-2020 07:04:01 GMT SESSIONTYPE=adhoc;Path=/;Domain=.mentor.com
p3p: CP="CAO PSA OUR"
x-content-type-options: nosniff
x-xss-protection: 1; mode=block
strict-transport-security: max-age=15552000; includeSubdomains;
x-frame-options: SAMEORIGIN
cache-control: no-store
content-security-policy-report-only: default-src 'none'; connect-src https:; font-src https: data:; frame-src https:; img-src https: data: 'self'; script-src 'unsafe-inline' https:; style-src 'unsafe-inline' https:; report-uri https://csp.mentor-apis.com/Prod/report

GET
H2 200 mgc_agg.css
static.mentor-cdn.com/css/mgc/generated/prod/v259/ 359 KB
59 KB 80ms
19ms Stylesheet
text/css 68.232.35.117
MCI Communication...

General

Check archive.org

Download Go to

Full URL: https://static.mentor-cdn.com/css/mgc/generated/prod/v259/mgc_agg.css
Requested by: Host: www.mentor.com
URL: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
Protocol: H2
Security: TLS 1.3, , AES_256_GCM
Server: 68.232.35.117 , United States, ASN15133 (EDGECAST - MCI Communications Services, Inc. d/b/a Verizon Business, US),
Reverse DNS
Software: ECS (amb/6B75) /
Resource Hash: 5bd02d05c9b4772b65341e7609810a670d6fad2c1aa6a869b4ca52e64029a4e3

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

date: Wed, 15 Jan 2020 07:04:02 GMT
content-encoding: gzip
last-modified: Tue, 03 Sep 2019 16:30:44 GMT
server: ECS (amb/6B75)
x-amz-request-id: 9F30B9E4B020E41F
etag: "55e7b98a419399a2e95fe164bfd58804+gzip"
vary: Accept-Encoding
x-cache: HIT
content-type: text/css
status: 200
cache-control: max-age=31556926
content-length: 60284
x-amz-id-2: iWJGDSbXd2Oe1jCzqTd14azgESSg+d1uUl3Pmm4tGeMpPSWyf5Vc8LhUdmXsJofvMGkZucq7998=
expires: Thu, 14 Jan 2021 12:52:48 GMT

GET
H2 200 jquery.min.js Show response
static.mentor-cdn.com/common/lib/jquery/1.12.4/ 95 KB
33 KB 105ms
44ms Script
text/javascript 68.232.35.117
MCI Communication...

General

Check archive.org

Download Go to

Full URL: https://static.mentor-cdn.com/common/lib/jquery/1.12.4/jquery.min.js
Requested by: Host: www.mentor.com
URL: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
Protocol: H2
Security: TLS 1.3, , AES_256_GCM
Server: 68.232.35.117 , United States, ASN15133 (EDGECAST - MCI Communications Services, Inc. d/b/a Verizon Business, US),
Reverse DNS
Software: ECS (amb/6BC2) /
Resource Hash: 668b046d12db350ccba6728890476b3efee53b2f42dbb84743e5e9f1ae0cc404

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

date: Wed, 15 Jan 2020 07:04:02 GMT
content-encoding: gzip
last-modified: Wed, 14 Nov 2018 22:50:33 GMT
server: ECS (amb/6BC2)
x-amz-request-id: 56FA3921520847F5
etag: "4f252523d4af0b478c810c2547a63e19+gzip"
vary: Accept-Encoding
x-cache: HIT
content-type: text/javascript
status: 200
cache-control: max-age=31556926
content-length: 33793
x-amz-id-2: COT5fxWqVrbBG4VBaVRLZ4tQypYVsZArIHlcJ/k7ly2ullm5JL3H/AjDz/A6GD2MNkqEj9zU7jg=
expires: Thu, 14 Jan 2021 12:52:48 GMT

GET
H2 200 jquery-migrate-1.4.1.min.js Show response
static.mentor-cdn.com/common/lib/jquery/ 10 KB
4 KB 113ms
52ms Script
text/javascript 68.232.35.117
MCI Communication...

General

Check archive.org

Download Go to

Full URL: https://static.mentor-cdn.com/common/lib/jquery/jquery-migrate-1.4.1.min.js
Requested by: Host: www.mentor.com
URL: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
Protocol: H2
Security: TLS 1.3, , AES_256_GCM
Server: 68.232.35.117 , United States, ASN15133 (EDGECAST - MCI Communications Services, Inc. d/b/a Verizon Business, US),
Reverse DNS
Software: ECS (amb/6B9E) /
Resource Hash: 48eb8b500ae6a38617b5738d2b3faec481922a7782246e31d2755c034a45cd5d

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

date: Wed, 15 Jan 2020 07:04:02 GMT
content-encoding: gzip
last-modified: Mon, 26 Nov 2018 22:21:04 GMT
server: ECS (amb/6B9E)
x-amz-request-id: 3F5A5E37031FFE1F
etag: "7121994eec5320fbe6586463bf9651c2+gzip"
vary: Accept-Encoding
x-cache: HIT
content-type: text/javascript
status: 200
cache-control: max-age=31556926
content-length: 4014
x-amz-id-2: QSILT59YxCAf/AdldCWF9YLv9LqCJbw8pXHGxONTkxNn+8TdDBOTTBuydQOEWTgbPJa66UaoZnw=
expires: Thu, 14 Jan 2021 12:52:48 GMT

GET
H2 200 raven.min.js Show response
static.mentor-cdn.com/common/lib/raven-js/1.2.0/ 15 KB
6 KB 113ms
53ms Script
application/javascript 68.232.35.117
MCI Communication...

General

Check archive.org

Download Go to

Full URL: https://static.mentor-cdn.com/common/lib/raven-js/1.2.0/raven.min.js
Requested by: Host: www.mentor.com
URL: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
Protocol: H2
Security: TLS 1.3, , AES_256_GCM
Server: 68.232.35.117 , United States, ASN15133 (EDGECAST - MCI Communications Services, Inc. d/b/a Verizon Business, US),
Reverse DNS
Software: ECS (amb/6B85) /
Resource Hash: aeb6ff8462f652f3f08f367249c3ef67eee144941344608e7fe010397c60d0c8

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

date: Wed, 15 Jan 2020 07:04:02 GMT
content-encoding: gzip
last-modified: Mon, 05 Dec 2016 22:37:39 GMT
server: ECS (amb/6B85)
x-amz-request-id: 9B9027773BDE8EB1
etag: "4245757edcebe30e436c6610b9db0e50+gzip"
vary: Accept-Encoding
x-cache: HIT
content-type: application/javascript
status: 200
cache-control: max-age=31556926
content-length: 6444
x-amz-id-2: XuHPFAZo7/M5eOGsPVfVGKHsQpLHx1owKgUGOS1jcpUbgr7DmSOInkdkl4kLFSrrZyPNbrbPCPk=
expires: Thu, 14 Jan 2021 12:52:48 GMT

GET
H2 200 jwplayer.js Show response
static.mentor-cdn.com/common/jwplayer/6.10.4906/ 65 KB
23 KB 114ms
54ms Script
application/javascript 68.232.35.117
MCI Communication...

General

Check archive.org

Download Go to

Full URL: https://static.mentor-cdn.com/common/jwplayer/6.10.4906/jwplayer.js
Requested by: Host: www.mentor.com
URL: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
Protocol: H2
Security: TLS 1.3, , AES_256_GCM
Server: 68.232.35.117 , United States, ASN15133 (EDGECAST - MCI Communications Services, Inc. d/b/a Verizon Business, US),
Reverse DNS
Software: ECS (amb/6BBD) /
Resource Hash: 5e85f43abc192fe9991e320aebf5fb5d346d62abba3cf1b50072286d0de7f5a3

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

date: Wed, 15 Jan 2020 07:04:02 GMT
content-encoding: gzip
last-modified: Mon, 05 Dec 2016 20:56:14 GMT
server: ECS (amb/6BBD)
x-amz-request-id: 6877ABB143A2E3F2
etag: "26d71124820c624c479011bf79c5e24a+gzip"
vary: Accept-Encoding
x-cache: HIT
content-type: application/javascript
status: 200
cache-control: max-age=31556926
content-length: 23493
x-amz-id-2: hePNKXNtusoncNvnwzz6lXpZVtOxEy1xCdsXK/QI8usRQZZh3Rf8UjOqcOPZT0y4zG24jqP3kvM=
expires: Thu, 14 Jan 2021 12:52:48 GMT

GET
H2 200 jGDqTDi3.js Show response
content.jwplatform.com/libraries/ 161 KB
50 KB 24ms
9ms Script
text/javascript 2600:9000:20eb:b200:1:a3fa:7cc0:93a1
Amazon.com

General

Check archive.org

Download Go to

Full URL: https://content.jwplatform.com/libraries/jGDqTDi3.js
Requested by: Host: www.mentor.com
URL: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
Protocol: H2
Security: TLS 1.2, ECDHE_RSA, AES_128_GCM
Server: 2600:9000:20eb:b200:1:a3fa:7cc0:93a1 , United States, ASN16509 (AMAZON-02 - Amazon.com, Inc., US),
Reverse DNS
Software: openresty /
Resource Hash: 5e86134712d47d662da9d1371b184c464365bb52f59631f9e9eebe628bf2155a

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

date: Wed, 15 Jan 2020 07:03:06 GMT
content-encoding: gzip
server: openresty
age: 56
x-cache: Hit from cloudfront
content-type: text/javascript; charset=utf-8
status: 200
cache-control: max-age=150, max-stale=180
x-amz-cf-pop: FRA2-C1
access-control-allow-origin: *
content-length: 50329
via: 1.1 7a3193ebce69450274ae629ce856b09d.cloudfront.net (CloudFront)
x-amz-cf-id: Ei5nUJ9GjHql_FtCWjdFKEeISeXIR8upQFdmxnnVqcCr_C_FHA7cfg==
expires: Wed, 15 Jan 2020 07:05:36 GMT

GET
H2 200 sha256.js Show response
static.mentor-cdn.com/common/lib/sha256/ 7 KB
3 KB 114ms
54ms Script
application/x-javascript 68.232.35.117
MCI Communication...

General

Check archive.org

Download Go to

Full URL: https://static.mentor-cdn.com/common/lib/sha256/sha256.js
Requested by: Host: www.mentor.com
URL: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
Protocol: H2
Security: TLS 1.3, , AES_256_GCM
Server: 68.232.35.117 , United States, ASN15133 (EDGECAST - MCI Communications Services, Inc. d/b/a Verizon Business, US),
Reverse DNS
Software: ECS (amb/6B95) /
Resource Hash: 471d4f73840828803fc2e0100739b5f47c3e6921aa0753548d87410f0ebc8dfa

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

x-amz-meta-cb-modifiedtime: Tue, 02 Oct 2018 20:56:52 GMT
date: Wed, 15 Jan 2020 07:04:02 GMT
content-encoding: gzip
last-modified: Tue, 02 Oct 2018 20:57:47 GMT
server: ECS (amb/6B95)
x-amz-request-id: BF1E679818DBBB98
etag: "8514ffabe47b1cd49b369ed803dcb6de+gzip"
vary: Accept-Encoding
x-cache: HIT
content-type: application/x-javascript
status: 200
cache-control: max-age=31556926
content-length: 2768
x-amz-id-2: kRgZzuSFFERQTBz9YXMgaMAmofmZ8rq2/J7J9OMKzgLbXxJy8GdwfHTF4cfcpKGmn9vbhae9/V8=
expires: Thu, 14 Jan 2021 12:52:48 GMT

GET
H2 200 jsrsasign-all-min.js Show response
static.mentor-cdn.com/common/lib/jsrsasign/ 253 KB
70 KB 114ms
54ms Script
application/x-javascript 68.232.35.117
MCI Communication...

General

Check archive.org

Download Go to

Full URL: https://static.mentor-cdn.com/common/lib/jsrsasign/jsrsasign-all-min.js
Requested by: Host: www.mentor.com
URL: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
Protocol: H2
Security: TLS 1.3, , AES_256_GCM
Server: 68.232.35.117 , United States, ASN15133 (EDGECAST - MCI Communications Services, Inc. d/b/a Verizon Business, US),
Reverse DNS
Software: ECS (amb/6BA5) /
Resource Hash: 44b82208e053cd6632cff163df087dad20b496b26d781007c071f4ade41407c8

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

x-amz-meta-cb-modifiedtime: Tue, 02 Oct 2018 16:56:30 GMT
date: Wed, 15 Jan 2020 07:04:02 GMT
content-encoding: gzip
last-modified: Tue, 02 Oct 2018 17:25:39 GMT
server: ECS (amb/6BA5)
x-amz-request-id: 62AD36907FF87EF9
etag: "39e91c0fe5e881aea21ca345c9b104db+gzip"
vary: Accept-Encoding
x-cache: HIT
content-type: application/x-javascript
status: 200
cache-control: max-age=31556926
content-length: 71431
x-amz-id-2: qLUNKe3HHrkdK6kkFtq8C29eTTvYQRReESFWQRsM62kCGag6+pAiz6Hu6UgKXGoL2MZsTNxXIB4=
expires: Thu, 14 Jan 2021 12:52:48 GMT

GET
H2 200 auth0.min.js Show response
cdn.auth0.com/js/auth0/9.5.1/ 109 KB
33 KB 76ms
28ms Script
application/javascript 143.204.103.120
Amazon.com

General

Check archive.org

Download Go to

Full URL: https://cdn.auth0.com/js/auth0/9.5.1/auth0.min.js
Requested by: Host: www.mentor.com
URL: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
Protocol: H2
Security: TLS 1.2, ECDHE_RSA, AES_128_GCM
Server: 143.204.103.120 Seattle, United States, ASN16509 (AMAZON-02 - Amazon.com, Inc., US),
Reverse DNS: server-143-204-103-120.fra50.r.cloudfront.net
Software: AmazonS3 /
Resource Hash: c65499454b28db683dd0efc366872a896cef0fe2ccfd6d51d6db446dcad88fcb

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

x-amz-version-id: 38nHgGlXmejuOCEREftQ2ogm5Z01rLQ3
content-encoding: gzip
last-modified: Mon, 30 Apr 2018 13:21:04 GMT
server: AmazonS3
age: 85770
date: Tue, 14 Jan 2020 07:14:33 GMT
vary: Accept-Encoding
x-cache: Hit from cloudfront
content-type: application/javascript
status: 200
cache-control: max-age=2628000,public
x-amz-replication-status: COMPLETED
x-amz-cf-pop: FRA50-C1
x-amz-cf-id: KJhKlLuoPLhhm6ZH8xJCjC5xGHQJOMvmleKo6dTqlQE5ZLEyuhjYgQ==
via: 1.1 ba77f90aac0ddbc2c4c2c02062fac762.cloudfront.net (CloudFront)

GET
H2 200 app.min.js Show response
static.mentor-cdn.com/mgc/app/generated/prod/v350/ 195 KB
60 KB 114ms
54ms Script
application/javascript 68.232.35.117
MCI Communication...

General

Check archive.org

Download Go to

Full URL: https://static.mentor-cdn.com/mgc/app/generated/prod/v350/app.min.js
Requested by: Host: www.mentor.com
URL: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
Protocol: H2
Security: TLS 1.3, , AES_256_GCM
Server: 68.232.35.117 , United States, ASN15133 (EDGECAST - MCI Communications Services, Inc. d/b/a Verizon Business, US),
Reverse DNS
Software: ECS (amb/6B8B) /
Resource Hash: b2ff816cd4d72b63b8bd9234667dcac7d7600b0bead21051aec4d1168a0d7615

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

date: Wed, 15 Jan 2020 07:04:02 GMT
content-encoding: gzip
last-modified: Wed, 27 Nov 2019 04:00:03 GMT
server: ECS (amb/6B8B)
x-amz-request-id: 6F99A3B9298F1639
etag: "b0ec28b612f9f3b2dce782ec1ee90c59+gzip"
vary: Accept-Encoding
x-cache: HIT
content-type: application/javascript
status: 200
cache-control: max-age=31556926
content-length: 61255
x-amz-id-2: tsdQnnYAanforgprKsoYuvB4b7cWcZ5cR2Pgj0gpc1rmJOj9OCVWVyF4dxu/KaFeJlTu4HL5nV4=
expires: Thu, 14 Jan 2021 12:52:48 GMT

GET
H/1.1 200
OK icon-eda.svg
s3.amazonaws.com/images.mentor.com/home/ 2 KB
3 KB 443ms
124ms Image
image/svg+xml 52.216.162.245
Amazon.com

General

Check archive.org

Download Go to Show image

Full URL: https://s3.amazonaws.com/images.mentor.com/home/icon-eda.svg
Requested by: Host: www.mentor.com
URL: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
Protocol: HTTP/1.1
Security: TLS 1.2, ECDHE_RSA, AES_128_GCM
Server: 52.216.162.245 Ashburn, United States, ASN16509 (AMAZON-02 - Amazon.com, Inc., US),
Reverse DNS: s3-1.amazonaws.com
Software: AmazonS3 /
Resource Hash: eec2bfd766324c0ddaf1592f94fc11b50f8ad6dd280f8ea3b54b94caba9abcf4

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

Date: Wed, 15 Jan 2020 07:04:04 GMT
Last-Modified: Thu, 21 Nov 2019 20:48:47 GMT
Server: AmazonS3
x-amz-request-id: CE9C14D9E4C9D15D
ETag: "b93e7aca54e117281f7d59b9f2a5f540"
x-amz-version-id: uYYbubOaDiOXXDW7QCMlzP6F.GiwJke7
x-amz-meta-touched: 1574368852000
x-amz-replication-status: COMPLETED
Accept-Ranges: bytes
Content-Type: image/svg+xml
Content-Length: 2169
x-amz-id-2: 3FEZO4GxjpV8xuR5WTU3tVBKlw4TwbgwHrnBmHu5G/ty7qSoCSN5hWBkfoIi5PzCIUKhyCBQa2E=

GET
H/1.1 200
OK icon-systems.svg
s3.amazonaws.com/images.mentor.com/home/ 2 KB
2 KB 444ms
122ms Image
image/svg+xml 52.216.162.245
Amazon.com

General

Check archive.org

Download Go to Show image

Full URL: https://s3.amazonaws.com/images.mentor.com/home/icon-systems.svg
Requested by: Host: www.mentor.com
URL: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
Protocol: HTTP/1.1
Security: TLS 1.2, ECDHE_RSA, AES_128_GCM
Server: 52.216.162.245 Ashburn, United States, ASN16509 (AMAZON-02 - Amazon.com, Inc., US),
Reverse DNS: s3-1.amazonaws.com
Software: AmazonS3 /
Resource Hash: 201da4a757f65dfccc16dff5ca4d0eb247b39c3ac5d33b2383b09521262a72f9

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

Date: Wed, 15 Jan 2020 07:04:04 GMT
Last-Modified: Thu, 21 Nov 2019 20:48:47 GMT
Server: AmazonS3
x-amz-request-id: 3211C605D53FEFDA
ETag: "8536348440628f5eb1aaf4eab0de1fb6"
x-amz-version-id: LiYYs_bGddH6QvYR6IYYFlwssu8iv9Dl
x-amz-meta-touched: 1574368852000
x-amz-replication-status: COMPLETED
Accept-Ranges: bytes
Content-Type: image/svg+xml
Content-Length: 1735
x-amz-id-2: qXQamzmdgVPR0sIReLOfhsO4/AFcpWwzLKhc8vbxW1Zo5faC6zBAOF8w7AcHeHMNnr5jWEaw6I8=

GET
H/1.1 200
OK icon-thermal.svg
s3.amazonaws.com/images.mentor.com/home/ 5 KB
6 KB 380ms
111ms Image
image/svg+xml 52.216.162.245
Amazon.com

General

Check archive.org

Download Go to Show image

Full URL: https://s3.amazonaws.com/images.mentor.com/home/icon-thermal.svg
Requested by: Host: www.mentor.com
URL: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
Protocol: HTTP/1.1
Security: TLS 1.2, ECDHE_RSA, AES_128_GCM
Server: 52.216.162.245 Ashburn, United States, ASN16509 (AMAZON-02 - Amazon.com, Inc., US),
Reverse DNS: s3-1.amazonaws.com
Software: AmazonS3 /
Resource Hash: 4b000c4407772950d16a52850213c68a3c3407603a99badee1c97ce4b6b82aca

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

Date: Wed, 15 Jan 2020 07:04:04 GMT
Last-Modified: Thu, 21 Nov 2019 20:48:47 GMT
Server: AmazonS3
x-amz-request-id: FCEB3C418215C21B
ETag: "e9336a5622d94110daa6b0bc8d02c8f0"
x-amz-version-id: L0mVt2IbAKI6h.ch74_r3JB5JcgdMiAr
x-amz-meta-touched: 1574368852000
x-amz-replication-status: COMPLETED
Accept-Ranges: bytes
Content-Type: image/svg+xml
Content-Length: 5517
x-amz-id-2: 3GHXpnx4iveKQrovcle500vtXCgcsGVmerw8zqXYvDwrGO/UDyFtlCCyJzsDMM+G0Q/+X5XVbSw=

GET
H/1.1 200
OK icon-automotive.svg
s3.amazonaws.com/images.mentor.com/home/ 2 KB
3 KB 386ms
117ms Image
image/svg+xml 52.216.162.245
Amazon.com

General

Check archive.org

Download Go to Show image

Full URL: https://s3.amazonaws.com/images.mentor.com/home/icon-automotive.svg
Requested by: Host: www.mentor.com
URL: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
Protocol: HTTP/1.1
Security: TLS 1.2, ECDHE_RSA, AES_128_GCM
Server: 52.216.162.245 Ashburn, United States, ASN16509 (AMAZON-02 - Amazon.com, Inc., US),
Reverse DNS: s3-1.amazonaws.com
Software: AmazonS3 /
Resource Hash: 15081a4d1fda96fe61c4194515456fcf28f5b2b28d71f736ef76c23432497d1a

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

Date: Wed, 15 Jan 2020 07:04:04 GMT
Last-Modified: Thu, 21 Nov 2019 20:48:47 GMT
Server: AmazonS3
x-amz-request-id: F07B2E7263092DFA
ETag: "08be8e046505401c907e23f438ec27fd"
x-amz-version-id: jmNjngILP40IritV..Fm7lQyFiJP.n6Y
x-amz-meta-touched: 1574368852000
x-amz-replication-status: COMPLETED
Accept-Ranges: bytes
Content-Type: image/svg+xml
Content-Length: 2135
x-amz-id-2: XXIqwaBPfdWl6bPCKrtjPzKDTYmpJTBaxyAMT4PyPv1zb2xeTVyJ+hhqN/JVTDkVl+ZWudDstnM=

GET
H/1.1 200
OK icon-embedded.svg
s3.amazonaws.com/images.mentor.com/home/ 2 KB
3 KB 429ms
122ms Image
image/svg+xml 52.216.162.245
Amazon.com

General

Check archive.org

Download Go to Show image

Full URL: https://s3.amazonaws.com/images.mentor.com/home/icon-embedded.svg
Requested by: Host: www.mentor.com
URL: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
Protocol: HTTP/1.1
Security: TLS 1.2, ECDHE_RSA, AES_128_GCM
Server: 52.216.162.245 Ashburn, United States, ASN16509 (AMAZON-02 - Amazon.com, Inc., US),
Reverse DNS: s3-1.amazonaws.com
Software: AmazonS3 /
Resource Hash: 54a764e9ec91c1507346d2ec0f01563b29ebd43fa9a8e1c82de42401f139d6e0

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

Date: Wed, 15 Jan 2020 07:04:04 GMT
Last-Modified: Thu, 21 Nov 2019 20:48:47 GMT
Server: AmazonS3
x-amz-request-id: 8A8E48B604CA0800
ETag: "a617a05488e73a98610ebc4d999f3d92"
x-amz-version-id: nf0YkBGExnoP5dmPCoLfbnMgtEj4D0ep
x-amz-meta-touched: 1574368852000
x-amz-replication-status: COMPLETED
Accept-Ranges: bytes
Content-Type: image/svg+xml
Content-Length: 2345
x-amz-id-2: Lzd8W3JyqHdcKgJ5A5ooCp6D8RusP0+BwkbKF5uLstICuOtxvWmPl1Lyt5Hh90vORq3HKKYn39o=

GET
H2 200 Promo_graphicFinal-4B1C938F.jpg
mgc-images.imgix.net/mechanical/ 28 KB
28 KB 21ms
7ms Image
image/jpeg 2a04:4e42:3::720
Fastly

General

Check archive.org

Download Go to Show image

Full URL

https://mgc-images.imgix.net/mechanical/Promo_graphicFinal-4B1C938F.jpg?q=60&fit=max&w=600

Requested by

Host: www.mentor.com
URL: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp

Protocol

Security

TLS 1.2, ECDHE_RSA, AES_128_GCM

Server

2a04:4e42:3::720 , Ascension Island, ASN54113 (FASTLY - Fastly, US),

Reverse DNS

Software

imgix /

Resource Hash

85cb9ac920e630e09cb800c559baf4ada4f7e81be0edeb76c96fc70749d69402

Security Headers

Name	Value
X-Content-Type-Options	nosniff

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

date: Wed, 15 Jan 2020 07:04:03 GMT
x-content-type-options: nosniff
last-modified: Wed, 08 Jan 2020 06:04:03 GMT
server: imgix
age: 608400
x-cache: HIT, HIT
content-type: image/jpeg
status: 200
cache-control: public, max-age=315360000
x-imgix-id: 501729c89b22f8456210dd3e62145f0f40d7bb48
accept-ranges: bytes
access-control-allow-origin: *
content-length: 28628
x-served-by: cache-lax8649-LAX, cache-fra19182-FRA

GET
H2 200 addthis_widget.js Show response
s7.addthis.com/js/250/ 349 KB
113 KB 79ms
27ms Script
application/javascript 23.210.248.44
Akamai Technologies

General

Check archive.org

Download Go to

Full URL

https://s7.addthis.com/js/250/addthis_widget.js

Requested by

Protocol

Security

TLS 1.3, , AES_256_GCM

Server

23.210.248.44 , Netherlands, ASN16625 (AKAMAI-AS - Akamai Technologies, Inc., US),

Reverse DNS

a23-210-248-44.deploy.static.akamaitechnologies.com

Software

nginx/1.15.8 /

Resource Hash

7c20e3e201e3d7c6821e907def1257deb544eb08578c7129b96d53bbf62d34e4

Security Headers

Name	Value
Strict-Transport-Security	max-age=15724800; includeSubDomains

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

strict-transport-security: max-age=15724800; includeSubDomains
content-encoding: gzip
last-modified: Wed, 30 Oct 2019 19:35:04 GMT
server: nginx/1.15.8
etag: "5db9e5e8-57446"
vary: Accept-Encoding
x-distribution: 99
content-type: application/javascript
status: 200
cache-control: public, max-age=600
date: Wed, 15 Jan 2020 07:04:03 GMT
x-host: s7.addthis.com
content-length: 114924

GET
H2 200 script.min.js Show response
static.mentor-cdn.com/mgc/s-code/generated/prod/v17/ 77 KB
25 KB 20ms
19ms Script
application/javascript 68.232.35.117
MCI Communication...

General

Check archive.org

Download Go to

Full URL: https://static.mentor-cdn.com/mgc/s-code/generated/prod/v17/script.min.js
Requested by: Host: www.mentor.com
URL: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
Protocol: H2
Security: TLS 1.3, , AES_256_GCM
Server: 68.232.35.117 , United States, ASN15133 (EDGECAST - MCI Communications Services, Inc. d/b/a Verizon Business, US),
Reverse DNS
Software: ECS (amb/6BBC) /
Resource Hash: d2836b82aff6f67da56ff0e98bce4cc27aeb38ffb16e563f85017397694e39ec

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

date: Wed, 15 Jan 2020 07:04:03 GMT
content-encoding: gzip
last-modified: Mon, 03 Dec 2018 22:38:13 GMT
server: ECS (amb/6BBC)
x-amz-request-id: 69A17B4033685469
etag: "f73a62ea6d25cefa88773507f7d9fa17+gzip"
vary: Accept-Encoding
x-cache: HIT
content-type: application/javascript
status: 200
cache-control: max-age=31556926
content-length: 25424
x-amz-id-2: ozRyL2uzzVTP0VGKp2CX5XU7RXfV3fbS80UEhawRr1YJGb169xUwAXZv2kGl3KOAKjp6cjV/X70=
expires: Thu, 14 Jan 2021 12:52:49 GMT

GET
H2 200 svg.js Show response
static.mentor-cdn.com/common/js/ 308 B
427 B 21ms
20ms Script
text/javascript 68.232.35.117
MCI Communication...

General

Check archive.org

Download Go to

Full URL: https://static.mentor-cdn.com/common/js/svg.js
Requested by: Host: www.mentor.com
URL: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
Protocol: H2
Security: TLS 1.3, , AES_256_GCM
Server: 68.232.35.117 , United States, ASN15133 (EDGECAST - MCI Communications Services, Inc. d/b/a Verizon Business, US),
Reverse DNS
Software: ECS (amb/6B7A) /
Resource Hash: b2958c6ec26fd054625faa0ec4d05f8dbd55efd34884c87698ed5041e62e3276

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

date: Wed, 15 Jan 2020 07:04:03 GMT
content-encoding: gzip
last-modified: Thu, 06 Dec 2018 18:34:44 GMT
server: ECS (amb/6B7A)
x-amz-request-id: C3351999BCC0F246
etag: "25b126bfe6b4c500878bbdf1d7103de5+gzip"
vary: Accept-Encoding
x-cache: HIT
content-type: text/javascript
status: 200
cache-control: max-age=31556926
content-length: 243
x-amz-id-2: WmNTazW5kK7x7wovGXPGxaLE6Rh4vAbLorBmrcTkp86ol0q7XUDKtEhslg9Rv4rCTXXuMvrTMf8=
expires: Thu, 14 Jan 2021 12:52:49 GMT

GET
H2 200 gtm.js Show response
www.googletagmanager.com/ 57 KB
21 KB 16ms
16ms Script
application/javascript 2a00:1450:4001:81a::2008
Google LLC

General

Check archive.org

Download Go to

Full URL

https://www.googletagmanager.com/gtm.js?id=GTM-MB9JF3

Requested by

Protocol

Security

TLS 1.3, , AES_128_GCM

Server

2a00:1450:4001:81a::2008 Frankfurt am Main, Germany, ASN15169 (GOOGLE - Google LLC, US),

Reverse DNS

Software

Google Tag Manager /

Resource Hash

e7922f72ac47cc47a27a8f13b5071f1068dc8337203939bed1f61c00ae8facf1

Security Headers

Name	Value
X-Xss-Protection	0

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

date: Wed, 15 Jan 2020 07:04:03 GMT
content-encoding: br
last-modified: Wed, 15 Jan 2020 06:00:00 GMT
server: Google Tag Manager
access-control-allow-origin: http://www.googletagmanager.com
vary: Accept-Encoding
content-type: application/javascript; charset=UTF-8
status: 200
alt-svc: quic=":443"; ma=2592000; v="46,43",h3-Q050=":443"; ma=2592000,h3-Q049=":443"; ma=2592000,h3-Q048=":443"; ma=2592000,h3-Q046=":443"; ma=2592000,h3-Q043=":443"; ma=2592000
cache-control: private, max-age=900
access-control-allow-credentials: true
access-control-allow-headers: Cache-Control
content-length: 21331
x-xss-protection: 0
expires: Wed, 15 Jan 2020 07:04:03 GMT

GET
H2 200 logo-white.svg
images.mentor-cdn.com/mentor-siemens-logo/ 5 KB
2 KB 20ms
19ms Image
image/svg+xml 68.232.35.117
MCI Communication...

General

Check archive.org

Download Go to Show image

Full URL: https://images.mentor-cdn.com/mentor-siemens-logo/logo-white.svg
Requested by: Host: www.mentor.com
URL: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
Protocol: H2
Security: TLS 1.3, , AES_256_GCM
Server: 68.232.35.117 , United States, ASN15133 (EDGECAST - MCI Communications Services, Inc. d/b/a Verizon Business, US),
Reverse DNS
Software: ECS (amb/6BC8) /
Resource Hash: acb9b594e42969a5119f3c21b3185b482c0f162d765466ecd9524e422ca3863b

Request headers

Referer: https://static.mentor-cdn.com/css/mgc/generated/prod/v259/mgc_agg.css
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

date: Wed, 15 Jan 2020 07:04:03 GMT
content-encoding: gzip
last-modified: Thu, 21 Nov 2019 20:52:19 GMT
server: ECS (amb/6BC8)
x-amz-request-id: 9BEE13892BE3816E
etag: "8ff4fd5f70a895753aca31a477dd9a1c+gzip"
vary: Accept-Encoding
x-cache: HIT
content-type: image/svg+xml
status: 200
x-amz-meta-touched: 1574368852000
x-amz-replication-status: COMPLETED
content-length: 1880
x-amz-version-id: dTLlY5jtXr3Ho_ZtQQtdoRYpoIyIdEhH
x-amz-id-2: wqk4uJwc6/47qjEM8BNeFT67N9A0qtXSM8+jztFAK4PoFOSYB/0FGaq5iAfVcithDUj4whoNB6U=

GET
DATA 200
OK truncated
/ 183 B
0 Image
image/svg+xml

General

Check archive.org

Download Go to Show image

Full URL: data:truncated
Protocol: DATA
Server: -, , ASN (),
Reverse DNS
Software: /
Resource Hash: 4b4c2d422591fffbb84b862cd39a99d7a03e7d730486add814f38ebadd5d8479

Request headers

User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

Content-Type: image/svg+xml

GET
H2 200 conversion_async.js Show response
www.googleadservices.com/pagead/ 26 KB
10 KB 34ms
33ms Script
text/javascript 216.58.207.34
Google LLC

General

Check archive.org

Download Go to

Full URL

https://www.googleadservices.com/pagead/conversion_async.js

Requested by

Host: www.googletagmanager.com
URL: https://www.googletagmanager.com/gtm.js?id=GTM-MB9JF3

Protocol

Security

TLS 1.3, , AES_128_GCM

Server

216.58.207.34 Mountain View, United States, ASN15169 (GOOGLE - Google LLC, US),

Reverse DNS

fra16s24-in-f2.1e100.net

Software

cafe /

Resource Hash

55d383508e067c7f8a200dbc4c1b0a503ac3bf3931ac391eb2bb4f3b0ce035b9

Security Headers

Name	Value
X-Content-Type-Options	nosniff
X-Xss-Protection	0

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

date: Wed, 15 Jan 2020 07:04:03 GMT
content-encoding: gzip
x-content-type-options: nosniff
p3p: policyref="https://www.googleadservices.com/pagead/p3p.xml", CP="NOI DEV PSA PSD IVA IVD OTP OUR OTR IND OTC"
status: 200
content-disposition: attachment; filename="f.txt"
alt-svc: quic="googleads.g.doubleclick.net:443"; ma=2592000; v="46,43",quic=":443"; ma=2592000; v="46,43",h3-Q050="googleads.g.doubleclick.net:443"; ma=2592000,h3-Q050=":443"; ma=2592000,h3-Q049="googleads.g.doubleclick.net:443"; ma=2592000,h3-Q049=":443"; ma=2592000,h3-Q048="googleads.g.doubleclick.net:443"; ma=2592000,h3-Q048=":443"; ma=2592000,h3-Q046="googleads.g.doubleclick.net:443"; ma=2592000,h3-Q046=":443"; ma=2592000,h3-Q043="googleads.g.doubleclick.net:443"; ma=2592000,h3-Q043=":443"; ma=2592000
content-length: 9932
x-xss-protection: 0
server: cafe
etag: 2945927031212666557
vary: Accept-Encoding
content-type: text/javascript; charset=UTF-8
cache-control: private, max-age=3600
timing-allow-origin: *
expires: Wed, 15 Jan 2020 07:04:03 GMT

GET
H2 200 / Show response
googleads.g.doubleclick.net/pagead/viewthroughconversion/1071447428/ 3 KB
1 KB 18ms
18ms Script
text/javascript 2a00:1450:4001:819::2002
Google LLC

General

Check archive.org

Download Go to

Full URL

https://googleads.g.doubleclick.net/pagead/viewthroughconversion/1071447428/?random=1579071843154&cv=9&fst=1579071843154&num=1&guid=ON&resp=GooglemKTybQhCsO&u_h=1200&u_w=1600&u_ah=1200&u_aw=1600&u_cd=24&u_his=2&u_tz=60&u_java=false&u_nplug=0&u_nmime=0&gtm=2wgc61&sendb=1&ig=1&frm=0&url=https%3A%2F%2Fwww.mentor.com%2Fhls-lp%2Fresources%2Foverview%2Frenesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94%3Fuuid%3D75c692df-b103-42c3-a5d8-5b5f9e6b0f94%26clp%3D1%26contactid%3D1%26PC%3DL%26c%3D2020_01_14_hls_renesas_fomal_checking_wp&tiba=Renesas%20Solves%20High-Level%20Verification%20Challenges%20Using%20Formal%20Equivalence%20Checking%20-%20Mentor%20Graphics&hn=www.googleadservices.com&async=1&rfmt=3&fmt=4

Requested by

Host: www.googleadservices.com
URL: https://www.googleadservices.com/pagead/conversion_async.js

Protocol

Security

TLS 1.3, , AES_128_GCM

Server

2a00:1450:4001:819::2002 Frankfurt am Main, Germany, ASN15169 (GOOGLE - Google LLC, US),

Reverse DNS

Software

cafe /

Resource Hash

296b1df6b8d23c7d0bd0b9d075c41b5e92d04401213cb1c6fccac7b7602f1aca

Security Headers

Name	Value
X-Content-Type-Options	nosniff
X-Xss-Protection	0

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

pragma: no-cache
date: Wed, 15 Jan 2020 07:04:03 GMT
content-encoding: gzip
x-content-type-options: nosniff
content-type: text/javascript; charset=UTF-8
server: cafe
p3p: policyref="https://googleads.g.doubleclick.net/pagead/gcn_p3p_.xml", CP="CURa ADMa DEVa TAIo PSAo PSDo OUR IND UNI PUR INT DEM STA PRE COM NAV OTC NOI DSP COR"
status: 200
cache-control: no-cache, must-revalidate
content-disposition: attachment; filename="f.txt"
timing-allow-origin: *
alt-svc: quic="googleads.g.doubleclick.net:443"; ma=2592000; v="46,43",quic=":443"; ma=2592000; v="46,43",h3-Q050="googleads.g.doubleclick.net:443"; ma=2592000,h3-Q050=":443"; ma=2592000,h3-Q049="googleads.g.doubleclick.net:443"; ma=2592000,h3-Q049=":443"; ma=2592000,h3-Q048="googleads.g.doubleclick.net:443"; ma=2592000,h3-Q048=":443"; ma=2592000,h3-Q046="googleads.g.doubleclick.net:443"; ma=2592000,h3-Q046=":443"; ma=2592000,h3-Q043="googleads.g.doubleclick.net:443"; ma=2592000,h3-Q043=":443"; ma=2592000
content-length: 1199
x-xss-protection: 0
expires: Fri, 01 Jan 1990 00:00:00 GMT

GET
H2 200 / Show response
googleads.g.doubleclick.net/pagead/viewthroughconversion/977295719/ 3 KB
1 KB 17ms
17ms Script
text/javascript 2a00:1450:4001:819::2002
Google LLC

General

Check archive.org

Download Go to

Full URL

https://googleads.g.doubleclick.net/pagead/viewthroughconversion/977295719/?random=1579071843157&cv=9&fst=1579071843157&num=1&guid=ON&resp=GooglemKTybQhCsO&u_h=1200&u_w=1600&u_ah=1200&u_aw=1600&u_cd=24&u_his=2&u_tz=60&u_java=false&u_nplug=0&u_nmime=0&gtm=2wgc61&sendb=1&ig=1&frm=0&url=https%3A%2F%2Fwww.mentor.com%2Fhls-lp%2Fresources%2Foverview%2Frenesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94%3Fuuid%3D75c692df-b103-42c3-a5d8-5b5f9e6b0f94%26clp%3D1%26contactid%3D1%26PC%3DL%26c%3D2020_01_14_hls_renesas_fomal_checking_wp&tiba=Renesas%20Solves%20High-Level%20Verification%20Challenges%20Using%20Formal%20Equivalence%20Checking%20-%20Mentor%20Graphics&hn=www.googleadservices.com&async=1&rfmt=3&fmt=4

Requested by

Host: www.googleadservices.com
URL: https://www.googleadservices.com/pagead/conversion_async.js

Protocol

Security

TLS 1.3, , AES_128_GCM

Server

2a00:1450:4001:819::2002 Frankfurt am Main, Germany, ASN15169 (GOOGLE - Google LLC, US),

Reverse DNS

Software

cafe /

Resource Hash

689a79f02ffc5d3ca097960c86f2f2287e7f9aee0d64184d5514cc83df73ab38

Security Headers

Name	Value
X-Content-Type-Options	nosniff
X-Xss-Protection	0

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

pragma: no-cache
date: Wed, 15 Jan 2020 07:04:03 GMT
content-encoding: gzip
x-content-type-options: nosniff
content-type: text/javascript; charset=UTF-8
server: cafe
p3p: policyref="https://googleads.g.doubleclick.net/pagead/gcn_p3p_.xml", CP="CURa ADMa DEVa TAIo PSAo PSDo OUR IND UNI PUR INT DEM STA PRE COM NAV OTC NOI DSP COR"
status: 200
cache-control: no-cache, must-revalidate
content-disposition: attachment; filename="f.txt"
timing-allow-origin: *
alt-svc: quic="googleads.g.doubleclick.net:443"; ma=2592000; v="46,43",quic=":443"; ma=2592000; v="46,43",h3-Q050="googleads.g.doubleclick.net:443"; ma=2592000,h3-Q050=":443"; ma=2592000,h3-Q049="googleads.g.doubleclick.net:443"; ma=2592000,h3-Q049=":443"; ma=2592000,h3-Q048="googleads.g.doubleclick.net:443"; ma=2592000,h3-Q048=":443"; ma=2592000,h3-Q046="googleads.g.doubleclick.net:443"; ma=2592000,h3-Q046=":443"; ma=2592000,h3-Q043="googleads.g.doubleclick.net:443"; ma=2592000,h3-Q043=":443"; ma=2592000
content-length: 1199
x-xss-protection: 0
expires: Fri, 01 Jan 1990 00:00:00 GMT

GET
H2

200

/
www.google.de/pagead/1p-user-list/1071406762/
Redirect Chain

https://googleads.g.doubleclick.net/pagead/viewthroughconversion/1071406762/?random=1579071843157&cv=9&fst=1579071843157&num=1&fmt=3&guid=ON&resp=GooglemKTybQhCsO&u_h=1200&u_w=1600&u_ah=1200&u_aw=1...
https://www.google.com/pagead/1p-user-list/1071406762/?random=1579071843157&cv=9&fst=1579071600000&num=1&fmt=3&guid=ON&u_h=1200&u_w=1600&u_ah=1200&u_aw=1600&u_cd=24&u_his=2&u_tz=60&u_java=false&u_n...
https://www.google.de/pagead/1p-user-list/1071406762/?random=1579071843157&cv=9&fst=1579071600000&num=1&fmt=3&guid=ON&u_h=1200&u_w=1600&u_ah=1200&u_aw=1600&u_cd=24&u_his=2&u_tz=60&u_java=false&u_np...

42 B
110 B

21ms
21ms

Image
image/gif

2a00:1450:4001:825::2003
Google LLC

General

Check archive.org

Download Go to Show image

Full URL

https://www.google.de/pagead/1p-user-list/1071406762/?random=1579071843157&cv=9&fst=1579071600000&num=1&fmt=3&guid=ON&u_h=1200&u_w=1600&u_ah=1200&u_aw=1600&u_cd=24&u_his=2&u_tz=60&u_java=false&u_nplug=0&u_nmime=0&gtm=2wgc61&sendb=1&frm=0&url=https%3A%2F%2Fwww.mentor.com%2Fhls-lp%2Fresources%2Foverview%2Frenesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94%3Fuuid%3D75c692df-b103-42c3-a5d8-5b5f9e6b0f94%26clp%3D1%26contactid%3D1%26PC%3DL%26c%3D2020_01_14_hls_renesas_fomal_checking_wp&tiba=Renesas%20Solves%20High-Level%20Verification%20Challenges%20Using%20Formal%20Equivalence%20Checking%20-%20Mentor%20Graphics&async=1&is_vtc=1&random=1713137333&resp=GooglemKTybQhCsO&ipr=y

Requested by

Protocol

Security

TLS 1.3, , AES_128_GCM

Server

2a00:1450:4001:825::2003 Frankfurt am Main, Germany, ASN15169 (GOOGLE - Google LLC, US),

Reverse DNS

Software

cafe /

Resource Hash

ef1955ae757c8b966c83248350331bd3a30f658ced11f387f8ebf05ab3368629

Security Headers

Name	Value
Content-Security-Policy	script-src 'none'; object-src 'none'
X-Content-Type-Options	nosniff
X-Xss-Protection	0

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

pragma: no-cache
date: Wed, 15 Jan 2020 07:04:03 GMT
x-content-type-options: nosniff
content-type: image/gif
server: cafe
p3p: policyref="https://www.googleadservices.com/pagead/p3p.xml", CP="NOI DEV PSA PSD IVA IVD OTP OUR OTR IND OTC"
status: 200
cache-control: no-cache, no-store, must-revalidate
content-security-policy: script-src 'none'; object-src 'none'
timing-allow-origin: *
alt-svc: quic=":443"; ma=2592000; v="46,43",h3-Q050=":443"; ma=2592000,h3-Q049=":443"; ma=2592000,h3-Q048=":443"; ma=2592000,h3-Q046=":443"; ma=2592000,h3-Q043=":443"; ma=2592000
content-length: 42
x-xss-protection: 0
expires: Fri, 01 Jan 1990 00:00:00 GMT

Redirect headers

pragma: no-cache
date: Wed, 15 Jan 2020 07:04:03 GMT
x-content-type-options: nosniff
server: cafe
timing-allow-origin: *
location: https://www.google.de/pagead/1p-user-list/1071406762/?random=1579071843157&cv=9&fst=1579071600000&num=1&fmt=3&guid=ON&u_h=1200&u_w=1600&u_ah=1200&u_aw=1600&u_cd=24&u_his=2&u_tz=60&u_java=false&u_nplug=0&u_nmime=0&gtm=2wgc61&sendb=1&frm=0&url=https%3A%2F%2Fwww.mentor.com%2Fhls-lp%2Fresources%2Foverview%2Frenesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94%3Fuuid%3D75c692df-b103-42c3-a5d8-5b5f9e6b0f94%26clp%3D1%26contactid%3D1%26PC%3DL%26c%3D2020_01_14_hls_renesas_fomal_checking_wp&tiba=Renesas%20Solves%20High-Level%20Verification%20Challenges%20Using%20Formal%20Equivalence%20Checking%20-%20Mentor%20Graphics&async=1&is_vtc=1&random=1713137333&resp=GooglemKTybQhCsO&ipr=y
p3p: policyref="https://www.googleadservices.com/pagead/p3p.xml", CP="NOI DEV PSA PSD IVA IVD OTP OUR OTR IND OTC"
status: 302
cache-control: no-cache, no-store, must-revalidate
content-security-policy: script-src 'none'; object-src 'none'
content-type: image/gif
alt-svc: quic=":443"; ma=2592000; v="46,43",h3-Q050=":443"; ma=2592000,h3-Q049=":443"; ma=2592000,h3-Q048=":443"; ma=2592000,h3-Q046=":443"; ma=2592000,h3-Q043=":443"; ma=2592000
content-length: 42
x-xss-protection: 0
expires: Fri, 01 Jan 1990 00:00:00 GMT

GET
H2 200 / Show response
googleads.g.doubleclick.net/pagead/viewthroughconversion/1001776599/ 3 KB
1 KB 18ms
18ms Script
text/javascript 2a00:1450:4001:819::2002
Google LLC

General

Check archive.org

Download Go to

Full URL

https://googleads.g.doubleclick.net/pagead/viewthroughconversion/1001776599/?random=1579071843158&cv=9&fst=1579071843158&num=1&guid=ON&resp=GooglemKTybQhCsO&u_h=1200&u_w=1600&u_ah=1200&u_aw=1600&u_cd=24&u_his=2&u_tz=60&u_java=false&u_nplug=0&u_nmime=0&gtm=2wgc61&sendb=1&ig=1&frm=0&url=https%3A%2F%2Fwww.mentor.com%2Fhls-lp%2Fresources%2Foverview%2Frenesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94%3Fuuid%3D75c692df-b103-42c3-a5d8-5b5f9e6b0f94%26clp%3D1%26contactid%3D1%26PC%3DL%26c%3D2020_01_14_hls_renesas_fomal_checking_wp&tiba=Renesas%20Solves%20High-Level%20Verification%20Challenges%20Using%20Formal%20Equivalence%20Checking%20-%20Mentor%20Graphics&hn=www.googleadservices.com&async=1&rfmt=3&fmt=4

Requested by

Host: www.googleadservices.com
URL: https://www.googleadservices.com/pagead/conversion_async.js

Protocol

Security

TLS 1.3, , AES_128_GCM

Server

2a00:1450:4001:819::2002 Frankfurt am Main, Germany, ASN15169 (GOOGLE - Google LLC, US),

Reverse DNS

Software

cafe /

Resource Hash

53ee9ddba5e3328e7cc74aab786c78af1763c22b7f0624fe89c856ee46327ad5

Security Headers

Name	Value
X-Content-Type-Options	nosniff
X-Xss-Protection	0

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

pragma: no-cache
date: Wed, 15 Jan 2020 07:04:03 GMT
content-encoding: gzip
x-content-type-options: nosniff
content-type: text/javascript; charset=UTF-8
server: cafe
p3p: policyref="https://googleads.g.doubleclick.net/pagead/gcn_p3p_.xml", CP="CURa ADMa DEVa TAIo PSAo PSDo OUR IND UNI PUR INT DEM STA PRE COM NAV OTC NOI DSP COR"
status: 200
cache-control: no-cache, must-revalidate
content-disposition: attachment; filename="f.txt"
timing-allow-origin: *
alt-svc: quic="googleads.g.doubleclick.net:443"; ma=2592000; v="46,43",quic=":443"; ma=2592000; v="46,43",h3-Q050="googleads.g.doubleclick.net:443"; ma=2592000,h3-Q050=":443"; ma=2592000,h3-Q049="googleads.g.doubleclick.net:443"; ma=2592000,h3-Q049=":443"; ma=2592000,h3-Q048="googleads.g.doubleclick.net:443"; ma=2592000,h3-Q048=":443"; ma=2592000,h3-Q046="googleads.g.doubleclick.net:443"; ma=2592000,h3-Q046=":443"; ma=2592000,h3-Q043="googleads.g.doubleclick.net:443"; ma=2592000,h3-Q043=":443"; ma=2592000
content-length: 1201
x-xss-protection: 0
expires: Fri, 01 Jan 1990 00:00:00 GMT

GET
H2 200 /
www.google.com/pagead/1p-user-list/1071447428/ 42 B
122 B 30ms
29ms Image
image/gif 2001:4860:4802:32::75
Google LLC

General

Check archive.org

Download Go to Show image

Full URL

https://www.google.com/pagead/1p-user-list/1071447428/?random=1579071843154&cv=9&fst=1579071600000&num=1&guid=ON&u_h=1200&u_w=1600&u_ah=1200&u_aw=1600&u_cd=24&u_his=2&u_tz=60&u_java=false&u_nplug=0&u_nmime=0&gtm=2wgc61&sendb=1&frm=0&url=https%3A%2F%2Fwww.mentor.com%2Fhls-lp%2Fresources%2Foverview%2Frenesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94%3Fuuid%3D75c692df-b103-42c3-a5d8-5b5f9e6b0f94%26clp%3D1%26contactid%3D1%26PC%3DL%26c%3D2020_01_14_hls_renesas_fomal_checking_wp&tiba=Renesas%20Solves%20High-Level%20Verification%20Challenges%20Using%20Formal%20Equivalence%20Checking%20-%20Mentor%20Graphics&async=1&fmt=3&is_vtc=1&random=341266753&resp=GooglemKTybQhCsO&rmt_tld=0&ipr=y

Requested by

Protocol

Security

TLS 1.3, , AES_128_GCM

Server

2001:4860:4802:32::75 , United States, ASN15169 (GOOGLE - Google LLC, US),

Reverse DNS

Software

cafe /

Resource Hash

ef1955ae757c8b966c83248350331bd3a30f658ced11f387f8ebf05ab3368629

Security Headers

Name	Value
Content-Security-Policy	script-src 'none'; object-src 'none'
X-Content-Type-Options	nosniff
X-Xss-Protection	0

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

pragma: no-cache
date: Wed, 15 Jan 2020 07:04:03 GMT
x-content-type-options: nosniff
content-type: image/gif
server: cafe
p3p: policyref="https://www.googleadservices.com/pagead/p3p.xml", CP="NOI DEV PSA PSD IVA IVD OTP OUR OTR IND OTC"
status: 200
cache-control: no-cache, no-store, must-revalidate
content-security-policy: script-src 'none'; object-src 'none'
timing-allow-origin: *
alt-svc: quic=":443"; ma=2592000; v="46,43",h3-Q050=":443"; ma=2592000,h3-Q049=":443"; ma=2592000,h3-Q048=":443"; ma=2592000,h3-Q046=":443"; ma=2592000,h3-Q043=":443"; ma=2592000
content-length: 42
x-xss-protection: 0
expires: Fri, 01 Jan 1990 00:00:00 GMT

GET
H2 200 /
www.google.de/pagead/1p-user-list/1071447428/ 42 B
110 B 24ms
23ms Image
image/gif 2a00:1450:4001:825::2003
Google LLC

General

Check archive.org

Download Go to Show image

Full URL

https://www.google.de/pagead/1p-user-list/1071447428/?random=1579071843154&cv=9&fst=1579071600000&num=1&guid=ON&u_h=1200&u_w=1600&u_ah=1200&u_aw=1600&u_cd=24&u_his=2&u_tz=60&u_java=false&u_nplug=0&u_nmime=0&gtm=2wgc61&sendb=1&frm=0&url=https%3A%2F%2Fwww.mentor.com%2Fhls-lp%2Fresources%2Foverview%2Frenesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94%3Fuuid%3D75c692df-b103-42c3-a5d8-5b5f9e6b0f94%26clp%3D1%26contactid%3D1%26PC%3DL%26c%3D2020_01_14_hls_renesas_fomal_checking_wp&tiba=Renesas%20Solves%20High-Level%20Verification%20Challenges%20Using%20Formal%20Equivalence%20Checking%20-%20Mentor%20Graphics&async=1&fmt=3&is_vtc=1&random=341266753&resp=GooglemKTybQhCsO&rmt_tld=1&ipr=y

Requested by

Protocol

Security

TLS 1.3, , AES_128_GCM

Server

2a00:1450:4001:825::2003 Frankfurt am Main, Germany, ASN15169 (GOOGLE - Google LLC, US),

Reverse DNS

Software

cafe /

Resource Hash

ef1955ae757c8b966c83248350331bd3a30f658ced11f387f8ebf05ab3368629

Security Headers

Name	Value
Content-Security-Policy	script-src 'none'; object-src 'none'
X-Content-Type-Options	nosniff
X-Xss-Protection	0

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

pragma: no-cache
date: Wed, 15 Jan 2020 07:04:03 GMT
x-content-type-options: nosniff
content-type: image/gif
server: cafe
p3p: policyref="https://www.googleadservices.com/pagead/p3p.xml", CP="NOI DEV PSA PSD IVA IVD OTP OUR OTR IND OTC"
status: 200
cache-control: no-cache, no-store, must-revalidate
content-security-policy: script-src 'none'; object-src 'none'
timing-allow-origin: *
alt-svc: quic=":443"; ma=2592000; v="46,43",h3-Q050=":443"; ma=2592000,h3-Q049=":443"; ma=2592000,h3-Q048=":443"; ma=2592000,h3-Q046=":443"; ma=2592000,h3-Q043=":443"; ma=2592000
content-length: 42
x-xss-protection: 0
expires: Fri, 01 Jan 1990 00:00:00 GMT

GET
H2 200 /
www.google.com/pagead/1p-user-list/977295719/ 42 B
122 B 35ms
35ms Image
image/gif 2001:4860:4802:32::75
Google LLC

General

Check archive.org

Download Go to Show image

Full URL

https://www.google.com/pagead/1p-user-list/977295719/?random=1579071843157&cv=9&fst=1579071600000&num=1&guid=ON&u_h=1200&u_w=1600&u_ah=1200&u_aw=1600&u_cd=24&u_his=2&u_tz=60&u_java=false&u_nplug=0&u_nmime=0&gtm=2wgc61&sendb=1&frm=0&url=https%3A%2F%2Fwww.mentor.com%2Fhls-lp%2Fresources%2Foverview%2Frenesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94%3Fuuid%3D75c692df-b103-42c3-a5d8-5b5f9e6b0f94%26clp%3D1%26contactid%3D1%26PC%3DL%26c%3D2020_01_14_hls_renesas_fomal_checking_wp&tiba=Renesas%20Solves%20High-Level%20Verification%20Challenges%20Using%20Formal%20Equivalence%20Checking%20-%20Mentor%20Graphics&async=1&fmt=3&is_vtc=1&random=2526273553&resp=GooglemKTybQhCsO&rmt_tld=0&ipr=y

Requested by

Protocol

Security

TLS 1.3, , AES_128_GCM

Server

2001:4860:4802:32::75 , United States, ASN15169 (GOOGLE - Google LLC, US),

Reverse DNS

Software

cafe /

Resource Hash

ef1955ae757c8b966c83248350331bd3a30f658ced11f387f8ebf05ab3368629

Security Headers

Name	Value
Content-Security-Policy	script-src 'none'; object-src 'none'
X-Content-Type-Options	nosniff
X-Xss-Protection	0

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

pragma: no-cache
date: Wed, 15 Jan 2020 07:04:03 GMT
x-content-type-options: nosniff
content-type: image/gif
server: cafe
p3p: policyref="https://www.googleadservices.com/pagead/p3p.xml", CP="NOI DEV PSA PSD IVA IVD OTP OUR OTR IND OTC"
status: 200
cache-control: no-cache, no-store, must-revalidate
content-security-policy: script-src 'none'; object-src 'none'
timing-allow-origin: *
alt-svc: quic=":443"; ma=2592000; v="46,43",h3-Q050=":443"; ma=2592000,h3-Q049=":443"; ma=2592000,h3-Q048=":443"; ma=2592000,h3-Q046=":443"; ma=2592000,h3-Q043=":443"; ma=2592000
content-length: 42
x-xss-protection: 0
expires: Fri, 01 Jan 1990 00:00:00 GMT

GET
H2 200 /
www.google.de/pagead/1p-user-list/977295719/ 42 B
110 B 23ms
23ms Image
image/gif 2a00:1450:4001:825::2003
Google LLC

General

Check archive.org

Download Go to Show image

Full URL

https://www.google.de/pagead/1p-user-list/977295719/?random=1579071843157&cv=9&fst=1579071600000&num=1&guid=ON&u_h=1200&u_w=1600&u_ah=1200&u_aw=1600&u_cd=24&u_his=2&u_tz=60&u_java=false&u_nplug=0&u_nmime=0&gtm=2wgc61&sendb=1&frm=0&url=https%3A%2F%2Fwww.mentor.com%2Fhls-lp%2Fresources%2Foverview%2Frenesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94%3Fuuid%3D75c692df-b103-42c3-a5d8-5b5f9e6b0f94%26clp%3D1%26contactid%3D1%26PC%3DL%26c%3D2020_01_14_hls_renesas_fomal_checking_wp&tiba=Renesas%20Solves%20High-Level%20Verification%20Challenges%20Using%20Formal%20Equivalence%20Checking%20-%20Mentor%20Graphics&async=1&fmt=3&is_vtc=1&random=2526273553&resp=GooglemKTybQhCsO&rmt_tld=1&ipr=y

Requested by

Protocol

Security

TLS 1.3, , AES_128_GCM

Server

2a00:1450:4001:825::2003 Frankfurt am Main, Germany, ASN15169 (GOOGLE - Google LLC, US),

Reverse DNS

Software

cafe /

Resource Hash

ef1955ae757c8b966c83248350331bd3a30f658ced11f387f8ebf05ab3368629

Security Headers

Name	Value
Content-Security-Policy	script-src 'none'; object-src 'none'
X-Content-Type-Options	nosniff
X-Xss-Protection	0

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

pragma: no-cache
date: Wed, 15 Jan 2020 07:04:03 GMT
x-content-type-options: nosniff
content-type: image/gif
server: cafe
p3p: policyref="https://www.googleadservices.com/pagead/p3p.xml", CP="NOI DEV PSA PSD IVA IVD OTP OUR OTR IND OTC"
status: 200
cache-control: no-cache, no-store, must-revalidate
content-security-policy: script-src 'none'; object-src 'none'
timing-allow-origin: *
alt-svc: quic=":443"; ma=2592000; v="46,43",h3-Q050=":443"; ma=2592000,h3-Q049=":443"; ma=2592000,h3-Q048=":443"; ma=2592000,h3-Q046=":443"; ma=2592000,h3-Q043=":443"; ma=2592000
content-length: 42
x-xss-protection: 0
expires: Fri, 01 Jan 1990 00:00:00 GMT

GET
H2 200 /
www.google.com/pagead/1p-user-list/1001776599/ 42 B
122 B 24ms
24ms Image
image/gif 2001:4860:4802:32::75
Google LLC

General

Check archive.org

Download Go to Show image

Full URL

https://www.google.com/pagead/1p-user-list/1001776599/?random=1579071843158&cv=9&fst=1579071600000&num=1&guid=ON&u_h=1200&u_w=1600&u_ah=1200&u_aw=1600&u_cd=24&u_his=2&u_tz=60&u_java=false&u_nplug=0&u_nmime=0&gtm=2wgc61&sendb=1&frm=0&url=https%3A%2F%2Fwww.mentor.com%2Fhls-lp%2Fresources%2Foverview%2Frenesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94%3Fuuid%3D75c692df-b103-42c3-a5d8-5b5f9e6b0f94%26clp%3D1%26contactid%3D1%26PC%3DL%26c%3D2020_01_14_hls_renesas_fomal_checking_wp&tiba=Renesas%20Solves%20High-Level%20Verification%20Challenges%20Using%20Formal%20Equivalence%20Checking%20-%20Mentor%20Graphics&async=1&fmt=3&is_vtc=1&random=1308149426&resp=GooglemKTybQhCsO&rmt_tld=0&ipr=y

Requested by

Protocol

Security

TLS 1.3, , AES_128_GCM

Server

2001:4860:4802:32::75 , United States, ASN15169 (GOOGLE - Google LLC, US),

Reverse DNS

Software

cafe /

Resource Hash

ef1955ae757c8b966c83248350331bd3a30f658ced11f387f8ebf05ab3368629

Security Headers

Name	Value
Content-Security-Policy	script-src 'none'; object-src 'none'
X-Content-Type-Options	nosniff
X-Xss-Protection	0

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

pragma: no-cache
date: Wed, 15 Jan 2020 07:04:03 GMT
x-content-type-options: nosniff
content-type: image/gif
server: cafe
p3p: policyref="https://www.googleadservices.com/pagead/p3p.xml", CP="NOI DEV PSA PSD IVA IVD OTP OUR OTR IND OTC"
status: 200
cache-control: no-cache, no-store, must-revalidate
content-security-policy: script-src 'none'; object-src 'none'
timing-allow-origin: *
alt-svc: quic=":443"; ma=2592000; v="46,43",h3-Q050=":443"; ma=2592000,h3-Q049=":443"; ma=2592000,h3-Q048=":443"; ma=2592000,h3-Q046=":443"; ma=2592000,h3-Q043=":443"; ma=2592000
content-length: 42
x-xss-protection: 0
expires: Fri, 01 Jan 1990 00:00:00 GMT

GET
H2 200 /
www.google.de/pagead/1p-user-list/1001776599/ 42 B
110 B 23ms
23ms Image
image/gif 2a00:1450:4001:825::2003
Google LLC

General

Check archive.org

Download Go to Show image

Full URL

https://www.google.de/pagead/1p-user-list/1001776599/?random=1579071843158&cv=9&fst=1579071600000&num=1&guid=ON&u_h=1200&u_w=1600&u_ah=1200&u_aw=1600&u_cd=24&u_his=2&u_tz=60&u_java=false&u_nplug=0&u_nmime=0&gtm=2wgc61&sendb=1&frm=0&url=https%3A%2F%2Fwww.mentor.com%2Fhls-lp%2Fresources%2Foverview%2Frenesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94%3Fuuid%3D75c692df-b103-42c3-a5d8-5b5f9e6b0f94%26clp%3D1%26contactid%3D1%26PC%3DL%26c%3D2020_01_14_hls_renesas_fomal_checking_wp&tiba=Renesas%20Solves%20High-Level%20Verification%20Challenges%20Using%20Formal%20Equivalence%20Checking%20-%20Mentor%20Graphics&async=1&fmt=3&is_vtc=1&random=1308149426&resp=GooglemKTybQhCsO&rmt_tld=1&ipr=y

Requested by

Protocol

Security

TLS 1.3, , AES_128_GCM

Server

2a00:1450:4001:825::2003 Frankfurt am Main, Germany, ASN15169 (GOOGLE - Google LLC, US),

Reverse DNS

Software

cafe /

Resource Hash

ef1955ae757c8b966c83248350331bd3a30f658ced11f387f8ebf05ab3368629

Security Headers

Name	Value
Content-Security-Policy	script-src 'none'; object-src 'none'
X-Content-Type-Options	nosniff
X-Xss-Protection	0

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

pragma: no-cache
date: Wed, 15 Jan 2020 07:04:03 GMT
x-content-type-options: nosniff
content-type: image/gif
server: cafe
p3p: policyref="https://www.googleadservices.com/pagead/p3p.xml", CP="NOI DEV PSA PSD IVA IVD OTP OUR OTR IND OTC"
status: 200
cache-control: no-cache, no-store, must-revalidate
content-security-policy: script-src 'none'; object-src 'none'
timing-allow-origin: *
alt-svc: quic=":443"; ma=2592000; v="46,43",h3-Q050=":443"; ma=2592000,h3-Q049=":443"; ma=2592000,h3-Q048=":443"; ma=2592000,h3-Q046=":443"; ma=2592000,h3-Q043=":443"; ma=2592000
content-length: 42
x-xss-protection: 0
expires: Fri, 01 Jan 1990 00:00:00 GMT

GET
H/1.1 200
OK moatframe.js Show response
z.moatads.com/addthismoatframe568911941483/ 2 KB
1 KB 88ms
30ms Script
application/x-javascript 23.210.250.213
Akamai Technologies

General

Check archive.org

Download Go to

Full URL: https://z.moatads.com/addthismoatframe568911941483/moatframe.js
Requested by: Host: s7.addthis.com
URL: https://s7.addthis.com/js/250/addthis_widget.js
Protocol: HTTP/1.1
Security: TLS 1.3, , AES_256_GCM
Server: 23.210.250.213 , Netherlands, ASN16625 (AKAMAI-AS - Akamai Technologies, Inc., US),
Reverse DNS: a23-210-250-213.deploy.static.akamaitechnologies.com
Software: AmazonS3 /
Resource Hash: 05090f9390f5bc0cd23fe5f432037cc92d7cbce1ced9bfe8faf3d1c9abae85cd

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

Date: Wed, 15 Jan 2020 07:04:03 GMT
Content-Encoding: gzip
Last-Modified: Fri, 08 Nov 2019 20:13:52 GMT
Server: AmazonS3
x-amz-request-id: DD7864003C5CA047
ETag: "f14b4e1f799b14f798a195f43cf58376"
Vary: Accept-Encoding
Content-Type: application/x-javascript
Cache-Control: max-age=16217
Connection: keep-alive
Accept-Ranges: bytes
Content-Length: 948
x-amz-id-2: QZsv8He4gCAWkZyfO692XnPUzTy0s9bUu/LN+U2M09eNsTLXpPT9nNZ8h6o4U/DJ/GnpJJB2B54=

GET
H2 200 Promo_graphicFinalVivado01-9D112417.png
mgc-images.imgix.net/mechanical/ 190 KB
190 KB 8ms
7ms Image
image/png 2a04:4e42:3::720
Fastly

General

Check archive.org

Download Go to Show image

Full URL

https://mgc-images.imgix.net/mechanical/Promo_graphicFinalVivado01-9D112417.png?q=60&fit=max&w=600

Requested by

Protocol

Security

TLS 1.2, ECDHE_RSA, AES_128_GCM

Server

2a04:4e42:3::720 , Ascension Island, ASN54113 (FASTLY - Fastly, US),

Reverse DNS

Software

imgix /

Resource Hash

e754bd3ef17b65a19eaf311a40dcc262f92c51d29015617f75a0ce6996db5e87

Security Headers

Name	Value
X-Content-Type-Options	nosniff

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

date: Wed, 15 Jan 2020 07:04:03 GMT
x-content-type-options: nosniff
last-modified: Wed, 08 Jan 2020 09:11:39 GMT
server: imgix
age: 597143
x-cache: HIT, HIT
content-type: image/png
status: 200
cache-control: public, max-age=315360000
x-imgix-id: 2552c9717d4c8e661e098165ace1a030e584d50c
accept-ranges: bytes
access-control-allow-origin: *
content-length: 194606
x-served-by: cache-lax8624-LAX, cache-fra19182-FRA

GET
H2 200 carscomps-641AB9B8.png
mgc-images.imgix.net/mechanical/ 128 KB
128 KB 14ms
13ms Image
image/png 2a04:4e42:3::720
Fastly

General

Check archive.org

Download Go to Show image

Full URL

https://mgc-images.imgix.net/mechanical/carscomps-641AB9B8.png?q=60&fit=max&w=600

Requested by

Protocol

Security

TLS 1.2, ECDHE_RSA, AES_128_GCM

Server

2a04:4e42:3::720 , Ascension Island, ASN54113 (FASTLY - Fastly, US),

Reverse DNS

Software

imgix /

Resource Hash

323730d82dd0751be9eeda81cbb6d1e6afabf9460915c5d080f3a16f2618134c

Security Headers

Name	Value
X-Content-Type-Options	nosniff

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

date: Wed, 15 Jan 2020 07:04:03 GMT
x-content-type-options: nosniff
last-modified: Sun, 08 Dec 2019 18:05:16 GMT
server: imgix
age: 3243545
x-cache: HIT, HIT
content-type: image/png
status: 200
cache-control: public, max-age=315360000
x-imgix-id: ad24aff628a14720337deb1895e76f89d8695444
accept-ranges: bytes
access-control-allow-origin: *
content-length: 131004
x-served-by: cache-lax8641-LAX, cache-fra19182-FRA

GET
H2 200 hlsciscortlpoweroptimizationwebinarthumbnail-292AB769.png
mgc-images.imgix.net/hls-lp/ 77 KB
77 KB 13ms
13ms Image
image/png 2a04:4e42:3::720
Fastly

General

Check archive.org

Download Go to Show image

Full URL

https://mgc-images.imgix.net/hls-lp/hlsciscortlpoweroptimizationwebinarthumbnail-292AB769.png?q=60&fit=max&w=600

Requested by

Protocol

Security

TLS 1.2, ECDHE_RSA, AES_128_GCM

Server

2a04:4e42:3::720 , Ascension Island, ASN54113 (FASTLY - Fastly, US),

Reverse DNS

Software

imgix /

Resource Hash

08c0fd6234ca4567c5f96ee0b1eade4d828b7e38765a79fd3e06910e9f578b59

Security Headers

Name	Value
X-Content-Type-Options	nosniff

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

date: Wed, 15 Jan 2020 07:04:03 GMT
x-content-type-options: nosniff
last-modified: Tue, 14 Jan 2020 14:04:34 GMT
server: imgix
age: 61169
x-cache: HIT, HIT
content-type: image/png
status: 200
cache-control: public, max-age=315360000
x-imgix-id: f8cf1fe346e92096feb838613e2218debe19ccee
accept-ranges: bytes
access-control-allow-origin: *
content-length: 78543
x-served-by: cache-lax8644-LAX, cache-fra19182-FRA

GET
H2 200 s04844968050970
strack.mentor.com/b/ss/mentorcom2/1/JS-1.3.2/ 43 B
395 B 104ms
30ms Image
image/gif 15.188.31.119
Amazon.com

General

Check archive.org

Download Go to Show image

Full URL

https://strack.mentor.com/b/ss/mentorcom2/1/JS-1.3.2/s04844968050970?AQB=1&ndh=1&t=15%2F0%2F2020%208%3A4%3A3%203%20-60&vid=1579071842834214211E38C443704908A2A69DBD04D11CBC5B597843FD305C70CC85DD5BC1B0E&fid=31840898327F3F36-37979E48DA19E459&ce=UTF-8&ns=mentorgraphics&pageName=HLS%20and%20LP%3AHigh-Level%20Synthesis%20and%20RTL%20Low-Power%20Resource%20Center%3ARenesas%20Solves%20High-Level%20Verification%20Challenges%20Using%20Formal%20Equivalence%20Checking&g=https%3A%2F%2Fwww.mentor.com%2Fhls-lp%2Fresources%2Foverview%2Frenesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94%3Fuuid%3D75c692df-b103-42c3-a5d8-5b5f9e6b0f94%26clp%3D1%26contactid%3D1%26PC%3DL%26c%3D2020_01_14_hls_ren&cc=USD&-g=esas_fomal_checking_wp&ch=products%3Ahls%20and%20lp&c1=HLS%20and%20LP&v1=D%3Dc1&h1=HLS%20and%20LP%2CHigh-Level%20Synthesis%20and%20RTL%20Low-Power%20Resource%20Center%2CARM%20Case%20Study%2COverview&c5=Account&v5=D%3Dc5&c9=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&v9=D%3Dc9&c10=HLSandLP&v10=D%3Dc10&c12=9492985&v12=D%3Dc12&c13=Ad%20hoc&v13=D%3Dc13&c24=400%20ms%20-%201%20sec&v24=D%3Dc24&c25=false&v25=D%3Dc25&c34=D%3Dv0&v34=D%3Dv0&c38=mentor&v38=D%3Dc38&c41=en&v41=D%3Dc41&s=1600x1200&c=24&j=1.6&v=N&k=Y&bw=1600&bh=1200&AQE=1

Requested by

Protocol

Security

TLS 1.3, , AES_128_GCM

Server

15.188.31.119 Paris, France, ASN16509 (AMAZON-02 - Amazon.com, Inc., US),

Reverse DNS

ec2-15-188-31-119.eu-west-3.compute.amazonaws.com

Software

jag /

Resource Hash

a1ecbaed793a1f564c49c671f2dd0ce36f858534ef6d26b55783a06b884cc506

Security Headers

Name	Value
X-Content-Type-Options	nosniff
X-Xss-Protection	1; mode=block

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

date: Wed, 15 Jan 2020 07:04:03 GMT
x-content-type-options: nosniff
x-c: master-1103.Ie862ff.M0-319
p3p: CP="This is not a P3P policy"
status: 200
content-length: 43
x-xss-protection: 1; mode=block
pragma: no-cache
last-modified: Thu, 16 Jan 2020 07:04:03 GMT
server: jag
xserver: anedge-7d69f978f4-rwtgw
etag: 3391030961945018368-4619016265421119638
vary: *
content-type: image/gif;charset=utf-8
access-control-allow-origin: *
cache-control: no-cache, no-store, max-age=0, no-transform, private
expires: Tue, 14 Jan 2020 07:04:03 GMT

GET
H2 200 analytics.js Show response
www.google-analytics.com/ 43 KB
17 KB 5ms
5ms Script
text/javascript 2a00:1450:4001:816::200e
Google LLC

General

Check archive.org

Download Go to

Full URL

https://www.google-analytics.com/analytics.js

Requested by

Protocol

Security

TLS 1.3, , AES_128_GCM

Server

2a00:1450:4001:816::200e Frankfurt am Main, Germany, ASN15169 (GOOGLE - Google LLC, US),

Reverse DNS

Software

Golfe2 /

Resource Hash

dbb67c620eaabf6679a314db18d3ae43037aef71ab27422e6feec08ee987cc0a

Security Headers

Name	Value
Strict-Transport-Security	max-age=10886400; includeSubDomains; preload
X-Content-Type-Options	nosniff

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

strict-transport-security: max-age=10886400; includeSubDomains; preload
content-encoding: gzip
x-content-type-options: nosniff
last-modified: Mon, 19 Aug 2019 17:22:41 GMT
server: Golfe2
age: 5149
date: Wed, 15 Jan 2020 05:38:14 GMT
vary: Accept-Encoding
content-type: text/javascript
status: 200
cache-control: public, max-age=7200
alt-svc: quic=":443"; ma=2592000; v="46,43",h3-Q050=":443"; ma=2592000,h3-Q049=":443"; ma=2592000,h3-Q048=":443"; ma=2592000,h3-Q046=":443"; ma=2592000,h3-Q043=":443"; ma=2592000
content-length: 17803
expires: Wed, 15 Jan 2020 07:38:14 GMT

GET
H/1.1 200
OK atrk.js Show response
d31qbv1cthcecs.cloudfront.net/ 4 KB
2 KB 86ms
21ms Script
text/javascript 143.204.101.123
Amazon.com

General

Check archive.org

Download Go to

Full URL: https://d31qbv1cthcecs.cloudfront.net/atrk.js
Requested by: Host: www.mentor.com
URL: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
Protocol: HTTP/1.1
Security: TLS 1.2, ECDHE_RSA, AES_128_GCM
Server: 143.204.101.123 Seattle, United States, ASN16509 (AMAZON-02 - Amazon.com, Inc., US),
Reverse DNS: server-143-204-101-123.fra50.r.cloudfront.net
Software: AmazonS3 /
Resource Hash: 90451ba3e82cd9db02f0ca76bd45d0ab5ef7e90a49da4215903cb7f08471e2e7

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

Date: Fri, 14 Jun 2019 00:49:06 GMT
Content-Encoding: gzip
Last-Modified: Sat, 16 Mar 2019 16:01:33 GMT
Server: AmazonS3
Age: 18598498
Vary: Accept-Encoding
X-Cache: Hit from cloudfront
Content-Type: text/javascript
Via: 1.1 5d8c59c4e33ff30f6610982ac8ad0232.cloudfront.net (CloudFront)
Cache-Control: max-age=26920000
Transfer-Encoding: chunked
X-Amz-Cf-Pop: FRA50-C1
Connection: keep-alive
X-Amz-Cf-Id: 2Hs92fd6qDCGKIbgrj2zt6BKD9ynUY0IA71FISbmlHaVbiW5tASgGw==

GET
H2 200 icons.svg Show response
static.mentor-cdn.com/common/icons/ 543 KB
129 KB 76ms
20ms XHR
image/svg+xml 68.232.35.117
MCI Communication...

General

Check archive.org

Download Go to

Full URL: https://static.mentor-cdn.com/common/icons/icons.svg?20181206
Requested by: Host: www.mentor.com
URL: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
Protocol: H2
Security: TLS 1.3, , AES_256_GCM
Server: 68.232.35.117 , United States, ASN15133 (EDGECAST - MCI Communications Services, Inc. d/b/a Verizon Business, US),
Reverse DNS
Software: ECS (amb/6B7C) /
Resource Hash: b81b8337c59497a68775aab8deb165b6954059b490f6c5b69394ae766968222a

Request headers

User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36
Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
Origin: https://www.mentor.com

Response headers

date: Wed, 15 Jan 2020 07:04:03 GMT
content-encoding: gzip
x-amz-request-id: AE58CA55E156DAFC
x-cache: HIT
status: 200
content-length: 131598
x-amz-id-2: omWnKrii7bOlsy++6OzDMrSXNxwpl43Yz8VSie1A0PbxtdNIbElrPFEQwoCZvtCdKYqg5Vfyza4=
last-modified: Fri, 28 Dec 2018 21:00:32 GMT
server: ECS (amb/6B7C)
etag: "8ad6f56c6870b4c3dc1d13f6ac5153b0+gzip"
vary: Accept-Encoding
access-control-allow-methods: GET
content-type: image/svg+xml
access-control-allow-origin: *
cache-control: max-age=31556926
expires: Thu, 14 Jan 2021 12:52:49 GMT

GET
H2 200 icons.svg Show response
static.mentor-cdn.com/common/icons/ 543 KB
129 KB 113ms
57ms XHR
image/svg+xml 68.232.35.117
MCI Communication...

General

Check archive.org

Download Go to

Full URL: https://static.mentor-cdn.com/common/icons/icons.svg?20181206
Requested by: Host: static.mentor-cdn.com
URL: https://static.mentor-cdn.com/common/js/svg.js
Protocol: H2
Security: TLS 1.3, , AES_256_GCM
Server: 68.232.35.117 , United States, ASN15133 (EDGECAST - MCI Communications Services, Inc. d/b/a Verizon Business, US),
Reverse DNS
Software: ECS (amb/6B7C) /
Resource Hash: b81b8337c59497a68775aab8deb165b6954059b490f6c5b69394ae766968222a

Request headers

User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36
Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
Origin: https://www.mentor.com

Response headers

date: Wed, 15 Jan 2020 07:04:03 GMT
content-encoding: gzip
x-amz-request-id: AE58CA55E156DAFC
x-cache: HIT
status: 200
content-length: 131598
x-amz-id-2: omWnKrii7bOlsy++6OzDMrSXNxwpl43Yz8VSie1A0PbxtdNIbElrPFEQwoCZvtCdKYqg5Vfyza4=
last-modified: Fri, 28 Dec 2018 21:00:32 GMT
server: ECS (amb/6B7C)
etag: "8ad6f56c6870b4c3dc1d13f6ac5153b0+gzip"
vary: Accept-Encoding
access-control-allow-methods: GET
content-type: image/svg+xml
access-control-allow-origin: *
cache-control: max-age=31556926
expires: Thu, 14 Jan 2021 12:52:49 GMT

GET
H/1.1 200
OK designarea-GENERAL_yes.txt Show response
s3.amazonaws.com/s3.mentor.com/ema-chat/ 0
685 B 453ms
125ms XHR
application/octet-stream 52.216.162.245
Amazon.com

General

Check archive.org

Download Go to

Full URL: https://s3.amazonaws.com/s3.mentor.com/ema-chat/designarea-GENERAL_yes.txt
Requested by: Host: static.mentor-cdn.com
URL: https://static.mentor-cdn.com/common/lib/jquery/1.12.4/jquery.min.js
Protocol: HTTP/1.1
Security: TLS 1.2, ECDHE_RSA, AES_128_GCM
Server: 52.216.162.245 Ashburn, United States, ASN16509 (AMAZON-02 - Amazon.com, Inc., US),
Reverse DNS: s3-1.amazonaws.com
Software: AmazonS3 /
Resource Hash: e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855

Request headers

Accept: */*
Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
Origin: https://www.mentor.com
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

Date: Wed, 15 Jan 2020 07:04:04 GMT
Last-Modified: Wed, 15 Jan 2020 06:57:32 GMT
Server: AmazonS3
x-amz-request-id: C48235E608006263
ETag: "d41d8cd98f00b204e9800998ecf8427e"
Vary: Origin, Access-Control-Request-Headers, Access-Control-Request-Method
Access-Control-Allow-Methods: GET
Content-Type: application/octet-stream
Access-Control-Allow-Origin: https://www.mentor.com
Access-Control-Allow-Credentials: true
x-amz-meta-md5-hash: d41d8cd98f00b204e9800998ecf8427e
Accept-Ranges: bytes
Content-Length: 0
x-amz-meta-last-modified: Tue Jan 14 22:57:30 PST 2020
x-amz-id-2: LXQpHyNUE1Kc+Mpb29Qfts2hIEPkc59ZaJ70bjMypCNHw+iD0pOKKzjNNvGXtk2evtcAML67q0A=

GET
H2 200 _ate.track.config_resp Show response
v1.addthisedge.com/live/boost/mentorwst/ 27 B
223 B 151ms
150ms Script
application/javascript 23.210.248.44
Akamai Technologies

General

Check archive.org

Download Go to

Full URL: https://v1.addthisedge.com/live/boost/mentorwst/_ate.track.config_resp
Requested by: Host: s7.addthis.com
URL: https://s7.addthis.com/js/250/addthis_widget.js
Protocol: H2
Security: TLS 1.3, , AES_256_GCM
Server: 23.210.248.44 , Netherlands, ASN16625 (AKAMAI-AS - Akamai Technologies, Inc., US),
Reverse DNS: a23-210-248-44.deploy.static.akamaitechnologies.com
Software: Jetty(9.4.8.v20180619) /
Resource Hash: 19a26d6046c4fcfe9e3efbc1fb7532f424c6b0b7590b9e193788e30bce8b9836

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

date: Wed, 15 Jan 2020 07:04:03 GMT
surrogate-key: mentorwst
server: Jetty(9.4.8.v20180619)
cache-tag: mentorwst
status: 200
cache-control: public, max-age=52, s-maxage=86400
content-disposition: attachment; filename=1.txt
content-type: application/javascript;charset=utf-8
content-length: 27

GET
H2

200

ga-audiences
www.google.de/ads/
Redirect Chain

https://www.google-analytics.com/r/collect?v=1&_v=j79&a=1682285114&t=pageview&_s=1&dl=https%3A%2F%2Fwww.mentor.com%2Fhls-lp%2Fresources%2Foverview%2Frenesas-solves-high-level-verification-challenge...
https://stats.g.doubleclick.net/r/collect?v=1&aip=1&t=dc&_r=3&tid=UA-7441435-1&cid=784722459.1579071843&jid=239798907&_gid=1472633022.1579071843&gjid=1159747166&_v=j79&z=41159341
https://www.google.com/ads/ga-audiences?v=1&aip=1&t=sr&_r=4&tid=UA-7441435-1&cid=784722459.1579071843&jid=239798907&_v=j79&z=41159341
https://www.google.de/ads/ga-audiences?v=1&aip=1&t=sr&_r=4&tid=UA-7441435-1&cid=784722459.1579071843&jid=239798907&_v=j79&z=41159341&slf_rd=1&random=717963782

42 B
109 B

19ms
19ms

Image
image/gif

2a00:1450:4001:825::2003
Google LLC

General

Check archive.org

Download Go to Show image

Full URL

https://www.google.de/ads/ga-audiences?v=1&aip=1&t=sr&_r=4&tid=UA-7441435-1&cid=784722459.1579071843&jid=239798907&_v=j79&z=41159341&slf_rd=1&random=717963782

Requested by

Protocol

Security

TLS 1.3, , AES_128_GCM

Server

2a00:1450:4001:825::2003 Frankfurt am Main, Germany, ASN15169 (GOOGLE - Google LLC, US),

Reverse DNS

Software

cafe /

Resource Hash

ef1955ae757c8b966c83248350331bd3a30f658ced11f387f8ebf05ab3368629

Security Headers

Name	Value
X-Content-Type-Options	nosniff
X-Xss-Protection	0

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

pragma: no-cache
date: Wed, 15 Jan 2020 07:04:03 GMT
x-content-type-options: nosniff
content-type: image/gif
server: cafe
p3p: policyref="https://www.googleadservices.com/pagead/p3p.xml", CP="NOI DEV PSA PSD IVA IVD OTP OUR OTR IND OTC"
status: 200
cache-control: no-cache, no-store, must-revalidate
timing-allow-origin: *
alt-svc: quic=":443"; ma=2592000; v="46,43",h3-Q050=":443"; ma=2592000,h3-Q049=":443"; ma=2592000,h3-Q048=":443"; ma=2592000,h3-Q046=":443"; ma=2592000,h3-Q043=":443"; ma=2592000
content-length: 42
x-xss-protection: 0
expires: Fri, 01 Jan 1990 00:00:00 GMT

Redirect headers

pragma: no-cache
date: Wed, 15 Jan 2020 07:04:03 GMT
x-content-type-options: nosniff
server: cafe
timing-allow-origin: *
location: https://www.google.de/ads/ga-audiences?v=1&aip=1&t=sr&_r=4&tid=UA-7441435-1&cid=784722459.1579071843&jid=239798907&_v=j79&z=41159341&slf_rd=1&random=717963782
p3p: policyref="https://www.googleadservices.com/pagead/p3p.xml", CP="NOI DEV PSA PSD IVA IVD OTP OUR OTR IND OTC"
status: 302
cache-control: no-cache, no-store, must-revalidate
content-type: text/html; charset=UTF-8
alt-svc: quic=":443"; ma=2592000; v="46,43",h3-Q050=":443"; ma=2592000,h3-Q049=":443"; ma=2592000,h3-Q048=":443"; ma=2592000,h3-Q046=":443"; ma=2592000,h3-Q043=":443"; ma=2592000
content-length: 0
x-xss-protection: 0
expires: Fri, 01 Jan 1990 00:00:00 GMT

GET
H/1.1 200
OK atrk.gif
certify.alexametrics.com/ 43 B
551 B 86ms
21ms Image
image/gif 13.225.78.115
Amazon.com

General

Check archive.org

Download Go to Show image

Full URL: https://certify.alexametrics.com/atrk.gif?frame_height=1200&frame_width=1600&iframe=0&title=Renesas%20Solves%20High-Level%20Verification%20Challenges%20Using%20Formal%20Equivalence%20Checking%20-%20Mentor%20Graphics&time=1579071843357&time_zone_offset=-60&screen_params=1600x1200x24&java_enabled=0&cookie_enabled=1&ref_url=&host_url=https%3A%2F%2Fwww.mentor.com%2Fhls-lp%2Fresources%2Foverview%2Frenesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94%3Fuuid%3D75c692df-b103-42c3-a5d8-5b5f9e6b0f94%26clp%3D1%26contactid%3D1%26PC%3DL%26c%3D2020_01_14_hls_renesas_fomal_checking_wp&random_number=17173026161&sess_cookie=f9b23eb416fa8042c1c73effdeb&sess_cookie_flag=1&user_cookie=f9b23eb416fa8042c1c73effdeb&user_cookie_flag=1&dynamic=true&domain=mentor.com&account=Zo/El1agWBr1N8&jsv=20130128&user_lang=en-US
Requested by: Host: www.mentor.com
URL: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
Protocol: HTTP/1.1
Security: TLS 1.2, ECDHE_RSA, AES_128_GCM
Server: 13.225.78.115 Seattle, United States, ASN16509 (AMAZON-02 - Amazon.com, Inc., US),
Reverse DNS: server-13-225-78-115.fra2.r.cloudfront.net
Software: AmazonS3 /
Resource Hash: 89fe0ee6020314794fc2cfeacf3d10c31050cfe56f8ebddf1ed0a33fbe941fa7

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

Date: Tue, 14 Jan 2020 11:18:33 GMT
Via: 1.1 e5b93012e2bfb81dc9846f43efd610a6.cloudfront.net (CloudFront)
x-amz-meta-alexa-last-modified: 20110117123941
Last-Modified: Mon, 17 Jan 2011 20:41:40 GMT
Server: AmazonS3
Age: 85837
ETag: "221d8352905f2c38b3cb2bd191d630b0"
X-Cache: Hit from cloudfront
Content-Type: image/gif
X-Amz-Cf-Pop: FRA2-C2
Connection: keep-alive
Accept-Ranges: bytes
Content-Length: 43
X-Amz-Cf-Id: UoWvmT1JZXvvIeQ5AnXaysiIZbm_8mJS4o-6igEXPegASPO47Ge6SQ==

Verdicts & Comments Add Verdict or Comment

351 JavaScript Global Variables

These are the non-standard "global" variables defined on the window object. These can be helpful in identifying possible client-side frameworks and code.

18 Cookies

Cookies are little pieces of information stored in the browser of a user. Whenever a user visits the site again, he will also send his cookie values, thus allowing the website to re-identify him even if he changed locations. This is how permanent logins work.

Domain/Path	Expires	Name / Value
.mentor.com/	1969-12-31 23:59:59	Name: s_ppv Value: HLS%2520and%2520LP%253AHigh-Level%2520Synthesis%2520and%2520RTL%2520Low-Power%2520Resource%2520Center%253ARenesas%2520Solves%2520High-Level%2520Verification%2520Challenges%2520Using%2520Formal%2520Equivalence%2520Checking%2C76%2C76%2C1200%2C1600%2C1200%2C1600%2C1200%2C1%2CP
.mentor.com/	1969-12-31 23:59:59	Name: s_ppvl Value: HLS%2520and%2520LP%253AHigh-Level%2520Synthesis%2520and%2520RTL%2520Low-Power%2520Resource%2520Center%253ARenesas%2520Solves%2520High-Level%2520Verification%2520Challenges%2520Using%2520Formal%2520Equivalence%2520Checking%2C76%2C76%2C1200%2C1600%2C1200%2C1600%2C1200%2C1%2CP
.mentor.com/	1970-01-19 15:24:54	Name: __auc Value: f9b23eb416fa8042c1c73effdeb
.mentor.com/	1970-01-19 06:37:53	Name: __asc Value: f9b23eb416fa8042c1c73effdeb
.mentor.com/	1970-01-19 06:37:51	Name: _gat Value: 1
www.mentor.com/	1970-01-19 06:37:53	Name: __atuvs Value: 5e1eb96344c6b3bf000
.mentor.com/	1970-01-20 00:09:03	Name: _ga Value: GA1.2.784722459.1579071843
.mentor.com/	1969-12-31 23:59:59	Name: s_cc Value: true
.mentor.com/	1970-01-30 05:34:58	Name: OVISITOR_ID Value: 1579071842834214211E38C443704908A2A69DBD04D11CBC5B597843FD305C70CC85DD5BC1B0E
.mentor.com/	1970-01-21 02:28:44	Name: s_fid Value: 31840898327F3F36-37979E48DA19E459
www.mentor.com/	1970-01-19 16:09:32	Name: __atuvc Value: 1%7C3
.mentor.com/	1970-01-19 06:37:53	Name: gpv_pn Value: HLS%20and%20LP%3AHigh-Level%20Synthesis%20and%20RTL%20Low-Power%20Resource%20Center%3ARenesas%20Solves%20High-Level%20Verification%20Challenges%20Using%20Formal%20Equivalence%20Checking
.mentor.com/	1969-12-31 23:59:59	Name: SESSIONTYPE Value: adhoc
.mentor.com/	1970-01-19 06:39:18	Name: MGC_CMP Value: %7B%22PC%22%3A%22L%22%2C%22c%22%3A%222020%5F01%5F14%5Fhls%5Frenesas%5Ffomal%5Fchecking%5Fwp%22%7D
www.mentor.com/	1969-12-31 23:59:59	Name: s_MID Value: 1579071842035%3AE9EC9777CCA33367E93C54CF475507D2
.mentor.com/	1970-01-19 06:39:18	Name: _gid Value: GA1.2.1472633022.1579071843
www.mentor.com/	1969-12-31 23:59:59	Name: JSESSIONID Value: 29D897B02151E025D736D77C419EB6F8.www6
.mentor.com/	1970-01-19 07:18:11	Name: MID Value: 9492985%3A2%3A1579071781%3Adbaaf1b9c42d208482836b25f555a414

1 Console Messages

A page may trigger messages to the console to be logged. These are often error messages about being unable to load a resource or execute a piece of JavaScript. Sometimes they also provide insight into the technology behind a website.

Source	Level	URL Text
console-api	log	URL: https://static.mentor-cdn.com/common/lib/jquery/jquery-migrate-1.4.1.min.js(Line 2) Message: JQMIGRATE: Migrate is installed, version 1.4.1

Security Headers

This page lists any security headers set by the main page. If you want to understand what these mean and how to use them, head on over to this page

Header	Value
Strict-Transport-Security	max-age=15552000; includeSubdomains;
X-Content-Type-Options	nosniff
X-Frame-Options	SAMEORIGIN
X-Xss-Protection	1; mode=block

Indicators

This is a term in the security industry to describe indicators such as IPs, Domains, Hashes, etc. This does not imply that any of these indicate malicious activity.

accounts.mentor.com
cdn.auth0.com
certify.alexametrics.com
content.jwplatform.com
d31qbv1cthcecs.cloudfront.net
googleads.g.doubleclick.net
images.mentor-cdn.com
lyris.mentor-info.com
mgc-images.imgix.net
s3.amazonaws.com
s7.addthis.com
static.mentor-cdn.com
stats.g.doubleclick.net
strack.mentor.com
v1.addthisedge.com
www.google-analytics.com
www.google.com
www.google.de
www.googleadservices.com
www.googletagmanager.com
www.mentor.com
z.moatads.com
13.225.78.115
143.204.101.123
143.204.101.50
143.204.103.120
15.188.31.119
192.94.39.222
2001:4860:4802:32::75
216.58.207.34
23.210.248.44
23.210.250.213
2600:9000:20eb:b200:1:a3fa:7cc0:93a1
2a00:1450:4001:816::200e
2a00:1450:4001:819::2002
2a00:1450:4001:81a::2008
2a00:1450:4001:825::2003
2a00:1450:400c:c0c::9c
2a04:4e42:3::720
34.232.24.156
52.216.162.245
68.232.35.117
05090f9390f5bc0cd23fe5f432037cc92d7cbce1ced9bfe8faf3d1c9abae85cd
08c0fd6234ca4567c5f96ee0b1eade4d828b7e38765a79fd3e06910e9f578b59
15081a4d1fda96fe61c4194515456fcf28f5b2b28d71f736ef76c23432497d1a
19a26d6046c4fcfe9e3efbc1fb7532f424c6b0b7590b9e193788e30bce8b9836
201da4a757f65dfccc16dff5ca4d0eb247b39c3ac5d33b2383b09521262a72f9
296b1df6b8d23c7d0bd0b9d075c41b5e92d04401213cb1c6fccac7b7602f1aca
323730d82dd0751be9eeda81cbb6d1e6afabf9460915c5d080f3a16f2618134c
44b82208e053cd6632cff163df087dad20b496b26d781007c071f4ade41407c8
471d4f73840828803fc2e0100739b5f47c3e6921aa0753548d87410f0ebc8dfa
48eb8b500ae6a38617b5738d2b3faec481922a7782246e31d2755c034a45cd5d
4b000c4407772950d16a52850213c68a3c3407603a99badee1c97ce4b6b82aca
4b4c2d422591fffbb84b862cd39a99d7a03e7d730486add814f38ebadd5d8479
53ee9ddba5e3328e7cc74aab786c78af1763c22b7f0624fe89c856ee46327ad5
54a764e9ec91c1507346d2ec0f01563b29ebd43fa9a8e1c82de42401f139d6e0
55d383508e067c7f8a200dbc4c1b0a503ac3bf3931ac391eb2bb4f3b0ce035b9
5bd02d05c9b4772b65341e7609810a670d6fad2c1aa6a869b4ca52e64029a4e3
5e85f43abc192fe9991e320aebf5fb5d346d62abba3cf1b50072286d0de7f5a3
5e86134712d47d662da9d1371b184c464365bb52f59631f9e9eebe628bf2155a
668b046d12db350ccba6728890476b3efee53b2f42dbb84743e5e9f1ae0cc404
689a79f02ffc5d3ca097960c86f2f2287e7f9aee0d64184d5514cc83df73ab38
7c20e3e201e3d7c6821e907def1257deb544eb08578c7129b96d53bbf62d34e4
85cb9ac920e630e09cb800c559baf4ada4f7e81be0edeb76c96fc70749d69402
89fe0ee6020314794fc2cfeacf3d10c31050cfe56f8ebddf1ed0a33fbe941fa7
90451ba3e82cd9db02f0ca76bd45d0ab5ef7e90a49da4215903cb7f08471e2e7
a1ecbaed793a1f564c49c671f2dd0ce36f858534ef6d26b55783a06b884cc506
acb9b594e42969a5119f3c21b3185b482c0f162d765466ecd9524e422ca3863b
aeb6ff8462f652f3f08f367249c3ef67eee144941344608e7fe010397c60d0c8
b2958c6ec26fd054625faa0ec4d05f8dbd55efd34884c87698ed5041e62e3276
b2ff816cd4d72b63b8bd9234667dcac7d7600b0bead21051aec4d1168a0d7615
b81b8337c59497a68775aab8deb165b6954059b490f6c5b69394ae766968222a
b8b7f29e4041986efab20148abdbf975dab6ceae168b4cbb79be66f9641bf7c0
c65499454b28db683dd0efc366872a896cef0fe2ccfd6d51d6db446dcad88fcb
d2836b82aff6f67da56ff0e98bce4cc27aeb38ffb16e563f85017397694e39ec
dbb67c620eaabf6679a314db18d3ae43037aef71ab27422e6feec08ee987cc0a
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855
e754bd3ef17b65a19eaf311a40dcc262f92c51d29015617f75a0ce6996db5e87
e7922f72ac47cc47a27a8f13b5071f1068dc8337203939bed1f61c00ae8facf1
eec2bfd766324c0ddaf1592f94fc11b50f8ad6dd280f8ea3b54b94caba9abcf4
ef1955ae757c8b966c83248350331bd3a30f658ced11f387f8ebf05ab3368629

www.mentor.com Open in urlscan Pro 143.204.101.50 Public Scan

Summary

urlscan.io Verdict: No classification

Domain & IP information

Screenshot Live screenshot Full Image

Page URL History Show full URLs

Detected technologies

Page Statistics

46 Requests

100 %HTTPS

40 %IPv6

18 Domains

22 Subdomains

18 IPs

6 Countries

1249 kBTransfer

3394 kBSize

18 Cookies

7 Outgoing links

Page URL History

Redirected requests

46 HTTP transactions Everything HTML Script AJAX CSS Image Expand all 1 data transactions

Request headers

Response headers

Redirect headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Redirect headers

Request headers

Response headers

www.mentor.com Open in urlscan Pro
143.204.101.50 Public Scan

Screenshot
Live screenshot

Full Image

46
Requests

100 %
HTTPS

40 %
IPv6

18
Domains

22
Subdomains

18
IPs

6
Countries

1249 kB
Transfer

3394 kB
Size

18
Cookies

46 HTTP transactions
1 data transactions